Trace number 3281293

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.26 1202.02

General information on the benchmark

Nameindustrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
MD5SUM123611192e7b44f446f7ac11e53423f6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark60.9727
Satisfiable
(Un)Satisfiability was proved
Number of variables112764
Number of clauses468539
Sum of the clauses size1200891
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2331975
Number of clauses of size 387836
Number of clauses of size 416674
Number of clauses of size 59489
Number of clauses of size over 520493

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: 15162
0.00/0.13	c parsetime: 132708us
0.00/0.13	c parsed 468539 clauses with 112764 variables
0.00/0.16	c NW started thread 0 successfully (1113663808)
0.00/0.20	c NW started thread 1 successfully (1124153664)
0.00/0.24	c NW started thread 2 successfully (1134643520)
0.00/0.29	c NW started thread 3 successfully (1097472320)
37.53/9.62	c preprocessor returned 112764 variables
37.53/9.62	c preprocessing returned UNKNOWN
37.53/9.62	c PP set 6358 variables
37.53/9.62	c pp time: 9394787us (9s)
37.53/9.64	c preprocessor returned 112764 variables
37.53/9.64	c preprocessing returned UNKNOWN
37.53/9.64	c PP set 6358 variables
37.53/9.64	c pp time: 9444834us (9s)
37.53/9.67	c preprocessor returned 112764 variables
37.53/9.67	c preprocessing returned UNKNOWN
37.53/9.67	c PP set 6358 variables
37.53/9.67	c pp time: 9383321us (9s)
37.93/9.71	c preprocessor returned 112764 variables
37.93/9.71	c preprocessing returned UNKNOWN
37.93/9.71	c PP set 6358 variables
37.93/9.71	c pp time: 9393151us (9s)
39.12/10.06	c HTE
39.94/10.23	c subsumption
40.72/10.43	c simplified formula contains 0 unit clauses
41.92/10.72	c received clause contains eliminated literal -81110
45.92/11.77	c HTE
47.12/12.02	c subsumption
47.92/12.22	c simplified formula contains 0 unit clauses
49.13/12.54	c received clause contains eliminated literal -2710
53.90/13.74	c received clause contains eliminated literal -90545
60.69/15.40	c received clause contains eliminated literal -90329
73.47/18.68	c received clause contains eliminated literal -90113
82.26/20.89	c received clause contains eliminated literal -83270
89.85/22.77	c received clause contains eliminated literal -89897
93.85/23.73	c received clause contains eliminated literal -88764
111.02/28.01	c received clause contains eliminated literal -87468
126.60/31.96	c received clause contains eliminated literal -39725
146.97/37.08	c HTE
148.17/37.35	c subsumption
150.96/38.01	c simplified formula contains 0 unit clauses
295.54/74.28	c received clause contains eliminated literal -90330
300.33/75.44	c received clause contains eliminated literal -86175
476.08/119.44	c received clause contains eliminated literal -35193
1076.02/269.69	c added unsatisfied clause
1076.02/269.69	c failed to add network clauses
1303.70/326.67	c received clause contains eliminated literal -83487
1404.35/351.80	c HTE
1443.09/361.59	c subsumption
1611.67/403.70	c simplified formula contains 0 unit clauses
1611.67/403.79	c received clause contains eliminated literal -84939
1664.38/416.99	c received clause contains eliminated literal -89898
1739.88/435.88	c received clause contains eliminated literal -83271
1926.80/482.64	c received clause contains eliminated literal -86175
1997.09/500.28	c received clause contains eliminated literal 11953
2542.74/636.87	c received clause contains eliminated literal -83486
2752.44/689.30	c received clause contains eliminated literal -86176
2813.95/704.72	c received clause contains eliminated literal -85528
2927.01/733.02	c received clause contains eliminated literal 2344
3351.20/839.22	c added unsatisfied clause
3351.20/839.22	c failed to add network clauses
3373.57/844.89	c received clause contains eliminated literal -62153
4009.49/1004.03	c received clause contains eliminated literal -83271

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-3281293-1304040005/watcher-3281293-1304040005 -o /tmp/evaluation-result-3281293-1304040005/solver-3281293-1304040005 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3281293-1304040005.cnf 1461228337 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: 3.97 3.96 4.07 6/182 15161
/proc/meminfo: memFree=16182308/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0

[startup+0.0984281 s]
/proc/loadavg: 3.97 3.96 4.07 6/182 15161
/proc/meminfo: memFree=16182308/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100427 s]
/proc/loadavg: 3.97 3.96 4.07 6/182 15161
/proc/meminfo: memFree=16182308/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.302271 s]
/proc/loadavg: 3.97 3.96 4.07 6/182 15161
/proc/meminfo: memFree=16182308/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.14098 s]
/proc/loadavg: 3.97 3.96 4.07 6/182 15161
/proc/meminfo: memFree=16182308/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50713 s]
/proc/loadavg: 3.97 3.96 4.07 10/188 15167
/proc/meminfo: memFree=15833424/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=531852 CPUtime=5.23 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 117964 0 0 0 484 39 0 0 18 0 5 0 594231116 544616448 87925 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 132963 87925 351 389 0 128713 0
[pid=15162/tid=15164] ppid=15161 vsize=531852 CPUtime=1.28 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 24333 0 0 0 120 8 0 0 18 0 5 0 594231133 544616448 87925 33554432000 4194304 5787044 140733325497312 18446744073709551615 4340052 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=531852 CPUtime=1.26 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 23072 0 0 0 118 8 0 0 18 0 5 0 594231137 544616448 87925 33554432000 4194304 5787044 140733325497312 18446744073709551615 4390872 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=531852 CPUtime=1.2 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 24539 0 0 0 110 10 0 0 18 0 5 0 594231141 544616448 87925 33554432000 4194304 5787044 140733325497312 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=531852 CPUtime=1.18 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 23443 0 0 0 109 9 0 0 18 0 5 0 594231146 544616448 87925 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 540552

[startup+3.10084 s]
/proc/loadavg: 3.97 3.96 4.07 9/188 15167
/proc/meminfo: memFree=15688592/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=539328 CPUtime=11.59 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 124640 0 0 0 1119 40 0 0 18 0 5 0 594231116 552271872 94601 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 134832 94601 352 389 0 130582 0
[pid=15162/tid=15164] ppid=15161 vsize=539328 CPUtime=2.88 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 25883 0 0 0 279 9 0 0 20 0 5 0 594231133 552271872 94601 33554432000 4194304 5787044 140733325497312 18446744073709551615 4278467 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=539328 CPUtime=2.86 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 24595 0 0 0 278 8 0 0 20 0 5 0 594231137 552271872 94601 33554432000 4194304 5787044 140733325497312 18446744073709551615 4276026 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=539328 CPUtime=2.78 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 26725 0 0 0 268 10 0 0 20 0 5 0 594231141 552271872 94601 33554432000 4194304 5787044 140733325497312 18446744073709551615 4276259 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=539328 CPUtime=2.76 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 24860 0 0 0 267 9 0 0 20 0 5 0 594231146 552271872 94601 33554432000 4194304 5787044 140733325497312 18446744073709551615 4278471 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 548028

[startup+6.30025 s]
/proc/loadavg: 4.29 4.03 4.09 9/188 15167
/proc/meminfo: memFree=15648044/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=539328 CPUtime=24.37 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 124785 0 0 0 2397 40 0 0 18 0 5 0 594231116 552271872 94746 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 134832 94746 352 389 0 130582 0
[pid=15162/tid=15164] ppid=15161 vsize=539328 CPUtime=6.08 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 25883 0 0 0 599 9 0 0 25 0 5 0 594231133 552271872 94746 33554432000 4194304 5787044 140733325497312 18446744073709551615 4276015 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=539328 CPUtime=6.05 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 24595 0 0 0 597 8 0 0 25 0 5 0 594231137 552271872 94746 33554432000 4194304 5787044 140733325497312 18446744073709551615 4279083 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=539328 CPUtime=5.96 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 26799 0 0 0 586 10 0 0 25 0 5 0 594231141 552271872 94746 33554432000 4194304 5787044 140733325497312 18446744073709551615 4279072 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=539328 CPUtime=5.96 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 24931 0 0 0 587 9 0 0 25 0 5 0 594231146 552271872 94746 33554432000 4194304 5787044 140733325497312 18446744073709551615 4279518 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.37
Current children cumulated vsize (KiB) 548028

[startup+12.7011 s]
/proc/loadavg: 4.59 4.10 4.11 9/188 15167
/proc/meminfo: memFree=15554812/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=679752 CPUtime=49.91 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 158692 0 0 0 4944 47 0 0 18 0 5 0 594231116 696066048 117867 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 169938 117867 418 389 0 165688 0
[pid=15162/tid=15164] ppid=15161 vsize=679752 CPUtime=12.48 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 30924 0 0 0 1238 10 0 0 25 0 5 0 594231133 696066048 117867 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=679752 CPUtime=12.44 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 33538 0 0 0 1234 10 0 0 25 0 5 0 594231137 696066048 117867 33554432000 4194304 5787044 140733325497312 18446744073709551615 5590788 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=679752 CPUtime=12.32 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 33940 0 0 0 1221 11 0 0 24 0 5 0 594231141 696066048 117867 33554432000 4194304 5787044 140733325497312 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=679752 CPUtime=12.36 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 37713 0 0 0 1224 12 0 0 25 0 5 0 594231146 696066048 117867 33554432000 4194304 5787044 140733325497312 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (KiB) 688452

[startup+25.5007 s]
/proc/loadavg: 5.11 4.22 4.15 9/188 15167
/proc/meminfo: memFree=15552988/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=680984 CPUtime=101.04 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 159248 0 0 0 10056 48 0 0 18 0 5 0 594231116 697327616 118423 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 170246 118423 418 389 0 165996 0
[pid=15162/tid=15164] ppid=15161 vsize=680984 CPUtime=25.28 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 31030 0 0 0 2518 10 0 0 25 0 5 0 594231133 697327616 118423 33554432000 4194304 5787044 140733325497312 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=680984 CPUtime=25.18 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 33718 0 0 0 2508 10 0 0 25 0 5 0 594231137 697327616 118423 33554432000 4194304 5787044 140733325497312 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=680984 CPUtime=25.12 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 34085 0 0 0 2500 12 0 0 25 0 5 0 594231141 697327616 118423 33554432000 4194304 5787044 140733325497312 18446744073709551615 5590864 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=680984 CPUtime=25.16 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 37838 0 0 0 2504 12 0 0 25 0 5 0 594231146 697327616 118423 33554432000 4194304 5787044 140733325497312 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.04
Current children cumulated vsize (KiB) 689684

[startup+51.101 s]
/proc/loadavg: 6.33 4.60 4.28 9/188 15168
/proc/meminfo: memFree=15522612/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=703344 CPUtime=203.29 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 166813 0 0 0 20278 51 0 0 18 0 5 0 594231116 720224256 125988 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 175836 125988 418 389 0 171586 0
[pid=15162/tid=15164] ppid=15161 vsize=703344 CPUtime=50.87 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 31138 0 0 0 5077 10 0 0 25 0 5 0 594231133 720224256 125988 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=703344 CPUtime=50.64 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 33994 0 0 0 5053 11 0 0 25 0 5 0 594231137 720224256 125988 33554432000 4194304 5787044 140733325497312 18446744073709551615 5590393 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=703344 CPUtime=50.71 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 34087 0 0 0 5059 12 0 0 25 0 5 0 594231141 720224256 125988 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=703344 CPUtime=50.76 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 45017 0 0 0 5062 14 0 0 25 0 5 0 594231146 720224256 125988 33554432000 4194304 5787044 140733325497312 18446744073709551615 4254546 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.29
Current children cumulated vsize (KiB) 712044

[startup+102.301 s]
/proc/loadavg: 7.31 5.14 4.48 9/188 15169
/proc/meminfo: memFree=15498932/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=703344 CPUtime=407.78 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 169689 0 0 0 40724 54 0 0 18 0 5 0 594231116 720224256 128843 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 175836 128843 418 389 0 171586 0
[pid=15162/tid=15164] ppid=15161 vsize=703344 CPUtime=101.84 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 31363 0 0 0 10174 10 0 0 25 0 5 0 594231133 720224256 128843 33554432000 4194304 5787044 140733325497312 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=703344 CPUtime=101.77 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 35839 0 0 0 10166 11 0 0 25 0 5 0 594231137 720224256 128843 33554432000 4194304 5787044 140733325497312 18446744073709551615 5576461 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=703344 CPUtime=101.9 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 34664 0 0 0 10177 13 0 0 25 0 5 0 594231141 720224256 128843 33554432000 4194304 5787044 140733325497312 18446744073709551615 5590268 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=703344 CPUtime=101.95 cores=0,2,4,6

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

/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 52021 0 0 0 82144 27 0 0 25 0 5 0 594231137 1143017472 220823 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=1116228 CPUtime=821.84 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 52004 0 0 0 82154 30 0 0 25 0 5 0 594231141 1143017472 220823 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=1116228 CPUtime=821.94 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 91436 0 0 0 82152 42 0 0 25 0 5 0 594231146 1143017472 220823 33554432000 4194304 5787044 140733325497312 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.69
Current children cumulated vsize (KiB) 1124928

[startup+882.301 s]
/proc/loadavg: 8.16 7.88 6.51 9/188 15222
/proc/meminfo: memFree=13798040/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=1116228 CPUtime=3523.36 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 271648 0 0 0 352194 142 0 0 18 0 5 0 594231116 1143017472 222757 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 279057 222757 418 389 0 274807 0
[pid=15162/tid=15164] ppid=15161 vsize=1116228 CPUtime=877.57 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 51676 0 0 0 87722 35 0 0 25 0 5 0 594231133 1143017472 222757 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=1116228 CPUtime=881.71 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 52048 0 0 0 88143 28 0 0 25 0 5 0 594231137 1143017472 222757 33554432000 4194304 5787044 140733325497312 18446744073709551615 5590426 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=1116228 CPUtime=881.84 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 53908 0 0 0 88150 34 0 0 25 0 5 0 594231141 1143017472 222757 33554432000 4194304 5787044 140733325497312 18446744073709551615 4220295 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=1116228 CPUtime=881.94 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 91439 0 0 0 88152 42 0 0 25 0 5 0 594231146 1143017472 222757 33554432000 4194304 5787044 140733325497312 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.36
Current children cumulated vsize (KiB) 1124928

[startup+942.301 s]
/proc/loadavg: 8.16 7.93 6.61 9/188 15224
/proc/meminfo: memFree=13745452/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=1182028 CPUtime=3763.03 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 274860 0 0 0 376156 147 0 0 18 0 5 0 594231116 1210396672 225969 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 295507 225969 418 389 0 291257 0
[pid=15162/tid=15164] ppid=15161 vsize=1182028 CPUtime=937.25 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 52025 0 0 0 93689 36 0 0 25 0 5 0 594231133 1210396672 225969 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=1182028 CPUtime=941.71 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 52052 0 0 0 94143 28 0 0 25 0 5 0 594231137 1210396672 225969 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=1182028 CPUtime=941.83 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 56659 0 0 0 94145 38 0 0 25 0 5 0 594231141 1210396672 225969 33554432000 4194304 5787044 140733325497312 18446744073709551615 5588133 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=1182028 CPUtime=941.94 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 91547 0 0 0 94152 42 0 0 25 0 5 0 594231146 1210396672 225969 33554432000 4194304 5787044 140733325497312 18446744073709551615 4254537 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.03
Current children cumulated vsize (KiB) 1190728

[startup+1002.3 s]
/proc/loadavg: 8.15 7.97 6.71 9/188 15225
/proc/meminfo: memFree=13674016/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=1198440 CPUtime=4002.7 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 284788 0 0 0 400114 156 0 0 18 0 5 0 594231116 1227202560 235897 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 299610 235897 418 389 0 295360 0
[pid=15162/tid=15164] ppid=15161 vsize=1198440 CPUtime=996.92 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 54578 0 0 0 99653 39 0 0 25 0 5 0 594231133 1227202560 235897 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=1198440 CPUtime=1001.7 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 54962 0 0 0 100141 29 0 0 25 0 5 0 594231137 1227202560 235897 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=1198440 CPUtime=1001.83 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 58362 0 0 0 100143 40 0 0 25 0 5 0 594231141 1227202560 235897 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=1198440 CPUtime=1001.94 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 94309 0 0 0 100151 43 0 0 25 0 5 0 594231146 1227202560 235897 33554432000 4194304 5787044 140733325497312 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.7
Current children cumulated vsize (KiB) 1207140

[startup+1062.3 s]
/proc/loadavg: 8.22 8.02 6.80 9/188 15227
/proc/meminfo: memFree=13637180/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=1214792 CPUtime=4242.37 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 293474 0 0 0 424071 166 0 0 18 0 5 0 594231116 1243947008 244583 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 303698 244583 418 389 0 299448 0
[pid=15162/tid=15164] ppid=15161 vsize=1214792 CPUtime=1056.59 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 57975 0 0 0 105613 46 0 0 25 0 5 0 594231133 1243947008 244583 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=1214792 CPUtime=1061.7 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 58600 0 0 0 106139 31 0 0 25 0 5 0 594231137 1243947008 244583 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=1214792 CPUtime=1061.83 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 59941 0 0 0 106141 42 0 0 25 0 5 0 594231141 1243947008 244583 33554432000 4194304 5787044 140733325497312 18446744073709551615 5586761 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=1214792 CPUtime=1061.94 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 94381 0 0 0 106151 43 0 0 25 0 5 0 594231146 1243947008 244583 33554432000 4194304 5787044 140733325497312 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.37
Current children cumulated vsize (KiB) 1223492

[startup+1122.3 s]
/proc/loadavg: 8.21 8.04 6.88 9/188 15231
/proc/meminfo: memFree=13549612/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=1225760 CPUtime=4482.05 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 306792 0 0 0 448026 179 0 0 18 0 5 0 594231116 1255178240 257901 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 306440 257901 418 389 0 302190 0
[pid=15162/tid=15164] ppid=15161 vsize=1225760 CPUtime=1116.27 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 61002 0 0 0 111578 49 0 0 25 0 5 0 594231133 1255178240 257901 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=1225760 CPUtime=1121.69 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 61334 0 0 0 112136 33 0 0 25 0 5 0 594231137 1255178240 257901 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=1225760 CPUtime=1121.84 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 63073 0 0 0 112137 47 0 0 25 0 5 0 594231141 1255178240 257901 33554432000 4194304 5787044 140733325497312 18446744073709551615 5590268 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=1225760 CPUtime=1121.95 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 98806 0 0 0 112149 46 0 0 25 0 5 0 594231146 1255178240 257901 33554432000 4194304 5787044 140733325497312 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.05
Current children cumulated vsize (KiB) 1234460

[startup+1182.3 s]
/proc/loadavg: 8.36 8.12 6.98 9/188 15233
/proc/meminfo: memFree=13474148/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=1229724 CPUtime=4721.55 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 309911 0 0 0 471973 182 0 0 18 0 5 0 594231116 1259237376 260795 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 307431 260795 418 389 0 303181 0
[pid=15162/tid=15164] ppid=15161 vsize=1229724 CPUtime=1175.94 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 61558 0 0 0 117545 49 0 0 25 0 5 0 594231133 1259237376 260795 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=1229724 CPUtime=1181.58 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 62120 0 0 0 118124 34 0 0 25 0 5 0 594231137 1259237376 260795 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=1229724 CPUtime=1181.82 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 63906 0 0 0 118135 47 0 0 25 0 5 0 594231141 1259237376 260795 33554432000 4194304 5787044 140733325497312 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=1229724 CPUtime=1181.89 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 99750 0 0 0 118142 47 0 0 25 0 5 0 594231146 1259237376 260795 33554432000 4194304 5787044 140733325497312 18446744073709551615 4254581 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.55
Current children cumulated vsize (KiB) 1238424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.25 8.11 7.00 9/188 15234
/proc/meminfo: memFree=13469064/32951124 swapFree=67111528/67111528
[pid=15161] ppid=15159 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/15161/stat : 15161 (priss.sh) S 15159 15161 15086 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 594231116 8908800 251 33554432000 4194304 4922060 140734394681872 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/15161/statm: 2175 251 211 178 0 68 0
[pid=15162] ppid=15161 vsize=1229724 CPUtime=4800.26 cores=0,2,4,6
/proc/15162/stat : 15162 (priss) S 15161 15161 15086 0 -1 4202496 310037 0 0 0 479844 182 0 0 18 0 5 0 594231116 1259237376 260921 33554432000 4194304 5787044 140733325497312 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15162/statm: 307431 260921 418 389 0 303181 0
[pid=15162/tid=15164] ppid=15161 vsize=1229724 CPUtime=1195.53 cores=0,2,4,6
/proc/15162/task/15164/stat : 15164 (priss) R 15161 15161 15086 0 -1 4202560 61594 0 0 0 119504 49 0 0 25 0 5 0 594231133 1259237376 260921 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591999 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=15162/tid=15165] ppid=15161 vsize=1229724 CPUtime=1201.29 cores=0,2,4,6
/proc/15162/task/15165/stat : 15165 (priss) R 15161 15161 15086 0 -1 4202560 62210 0 0 0 120095 34 0 0 25 0 5 0 594231137 1259237376 260921 33554432000 4194304 5787044 140733325497312 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=15162/tid=15166] ppid=15161 vsize=1229724 CPUtime=1201.52 cores=0,2,4,6
/proc/15162/task/15166/stat : 15166 (priss) R 15161 15161 15086 0 -1 4202560 63906 0 0 0 120105 47 0 0 25 0 5 0 594231141 1259237376 260921 33554432000 4194304 5787044 140733325497312 18446744073709551615 5576636 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=15162/tid=15167] ppid=15161 vsize=1229724 CPUtime=1201.6 cores=0,2,4,6
/proc/15162/task/15167/stat : 15167 (priss) R 15161 15161 15086 0 -1 4202560 99750 0 0 0 120113 47 0 0 25 0 5 0 594231146 1259237376 260921 33554432000 4194304 5787044 140733325497312 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1238424

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1202.02
CPU time (s): 4800.26
CPU user time (s): 4798.44
CPU system time (s): 1.82
CPU usage (%): 399.35
Max. virtual memory (cumulated for all children) (KiB): 1238424

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

runsolver used 1.85972 second user time and 4.70828 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-29 03:20:05
IDJOB=3281293
IDBENCH=20565
IDSOLVER=1603
FILE ID=node110/3281293-1304040005
RUNJOBID= node110-1304039990-15104
PBS_JOBID= 13170381
Free space on /tmp= 72812 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281293-1304040005/watcher-3281293-1304040005 -o /tmp/evaluation-result-3281293-1304040005/solver-3281293-1304040005 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3281293-1304040005.cnf 1461228337 4800 15500 4

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

MD5SUM BENCH= 123611192e7b44f446f7ac11e53423f6
RANDOM SEED=1461228337

node110.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.83
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.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.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.76
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.83
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.74
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16182332 kB
Buffers:       2333292 kB
Cached:       13276076 kB
SwapCached:          0 kB
Active:        8360412 kB
Inactive:      7836736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16182332 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           30652 kB
Writeback:           0 kB
AnonPages:      586616 kB
Mapped:          15548 kB
Slab:           506932 kB
PageTables:       6092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   811660 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= 72760 MiB
End job on node110 at 2011-04-29 03:40:09