Trace number 3280419

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.07 1203.22

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
MD5SUM45ee13b66821e6c36f3e38be418fa121
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3586.1
Satisfiable
(Un)Satisfiability was proved
Number of variables138808
Number of clauses626501
Sum of the clauses size1431026
Maximum clause length10
Minimum clause length1
Number of clauses of size 111712
Number of clauses of size 2503953
Number of clauses of size 384536
Number of clauses of size 42920
Number of clauses of size 511680
Number of clauses of size over 511700

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: 18948
0.00/0.15	c parsetime: 154428us
0.00/0.15	c parsed 626501 clauses with 138808 variables
0.00/0.19	c NW started thread 0 successfully (1103731008)
0.00/0.24	c NW started thread 1 successfully (1114220864)
0.00/0.29	c NW started thread 2 successfully (1124710720)
0.00/0.34	c NW started thread 3 successfully (1088276800)
23.08/7.09	c preprocessor returned 138808 variables
23.08/7.09	c preprocessing returned UNKNOWN
23.08/7.09	c PP set 94071 variables
23.08/7.09	c pp time: 6718748us (6s)
25.49/7.66	c HTE
25.49/7.67	c preprocessor returned 138808 variables
25.49/7.67	c preprocessing returned UNKNOWN
25.49/7.67	c PP set 94071 variables
25.49/7.67	c pp time: 7348228us (7s)
26.68/7.99	c preprocessor returned 138808 variables
26.68/7.99	c preprocessing returned UNKNOWN
26.68/7.99	c PP set 94071 variables
26.68/7.99	c pp time: 7766821us (7s)
27.08/8.05	c subsumption
27.48/8.11	c simplified formula contains 0 unit clauses
29.89/8.78	c HTE
31.07/9.01	c subsumption
31.07/9.05	c simplified formula contains 0 unit clauses
31.07/9.09	c received clause contains eliminated literal -20300
31.87/9.25	c HTE
32.67/9.41	c subsumption
32.67/9.44	c simplified formula contains 0 unit clauses
33.47/9.61	c HTE
33.87/9.74	c subsumption
33.87/9.76	c simplified formula contains 0 unit clauses
34.68/9.91	c HTE
35.06/10.03	c subsumption
35.06/10.05	c simplified formula contains 0 unit clauses
35.47/10.11	c preprocessor returned 138808 variables
35.47/10.11	c preprocessing returned UNKNOWN
35.47/10.11	c PP set 94071 variables
35.47/10.11	c pp time: 9839465us (9s)
37.06/10.52	c received clause contains eliminated literal -57161
37.85/10.77	c HTE
38.25/10.89	c subsumption
38.68/10.92	c simplified formula contains 0 unit clauses
38.68/10.92	c received clause contains eliminated literal -20300
39.08/11.05	c HTE
39.46/11.16	c subsumption
39.46/11.19	c simplified formula contains 0 unit clauses
41.05/11.54	c received clause contains eliminated literal -72886
41.05/11.54	c received clause contains eliminated literal -13433
46.25/12.87	c received clause contains eliminated literal 593
54.23/14.82	c received clause contains eliminated literal -45817
64.61/17.49	c received clause contains eliminated literal -17167
65.82/17.71	c received clause contains eliminated literal -57395
69.43/18.60	c received clause contains eliminated literal -72849
70.21/18.83	c HTE
71.80/19.25	c subsumption
72.60/19.48	c simplified formula contains 0 unit clauses
75.80/20.27	c received clause contains eliminated literal -72960
87.79/23.26	c received clause contains eliminated literal -32991
102.16/26.84	c received clause contains eliminated literal -32578
103.36/27.15	c HTE
105.76/27.79	c subsumption
108.16/28.39	c simplified formula contains 0 unit clauses
123.72/32.23	c received clause contains eliminated literal -27191
126.12/32.85	c received clause contains eliminated literal -17191
133.30/34.62	c received clause contains eliminated literal -124501
149.28/38.60	c received clause contains eliminated literal -38402
152.89/39.59	c received clause contains eliminated literal -124612
190.42/48.97	c HTE
193.62/49.73	c subsumption
196.02/50.31	c simplified formula contains 0 unit clauses
206.03/52.87	c received clause contains eliminated literal -72775
219.98/56.39	c received clause contains eliminated literal -21595
220.38/56.46	c received clause contains eliminated literal -124390
235.16/60.16	c received clause contains eliminated literal -113697
243.55/62.28	c received clause contains eliminated literal -89046
349.00/88.69	c received clause contains eliminated literal -138340
562.69/142.12	c received clause contains eliminated literal -80323
653.77/164.94	c received clause contains eliminated literal -45817
894.97/225.44	c HTE
928.10/233.77	c subsumption
958.86/241.49	c simplified formula contains 0 unit clauses
1121.43/282.17	c received clause contains eliminated literal -86872
1260.43/316.97	c received clause contains eliminated literal -101154
1560.78/392.12	c received clause contains eliminated literal -131605
1815.59/455.91	c received clause contains eliminated literal -21743
1989.72/499.50	c received clause contains eliminated literal -136570
2929.51/734.81	c received clause contains eliminated literal -73071
3255.78/816.51	c HTE
3699.07/927.56	c subsumption
4193.02/1051.27	c simplified formula contains 0 unit 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-3280419-1304037932/watcher-3280419-1304037932 -o /tmp/evaluation-result-3280419-1304037932/solver-3280419-1304037932 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3280419-1304037932.cnf 866099063 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: 8.13 8.14 7.89 1/173 18947
/proc/meminfo: memFree=25226056/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0

[startup+0.00942108 s]
/proc/loadavg: 8.13 8.14 7.89 1/173 18947
/proc/meminfo: memFree=25226056/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100391 s]
/proc/loadavg: 8.13 8.14 7.89 1/173 18947
/proc/meminfo: memFree=25226056/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300414 s]
/proc/loadavg: 8.13 8.14 7.89 1/173 18947
/proc/meminfo: memFree=25226056/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70128 s]
/proc/loadavg: 8.13 8.14 7.89 1/173 18947
/proc/meminfo: memFree=25226056/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50103 s]
/proc/loadavg: 8.13 8.14 7.89 5/179 18953
/proc/meminfo: memFree=24931628/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=539408 CPUtime=4.42 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 145918 0 0 0 395 47 0 0 19 0 5 0 515392936 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 134852 79784 349 389 0 130602 0
[pid=18948/tid=18950] ppid=18947 vsize=539408 CPUtime=1.07 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 30962 0 0 0 90 17 0 0 18 0 5 0 515392956 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=539408 CPUtime=1.16 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 28936 0 0 0 104 12 0 0 18 0 5 0 515392961 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=539408 CPUtime=0.93 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 29747 0 0 0 80 13 0 0 18 0 5 0 515392965 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=539408 CPUtime=0.9 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 27375 0 0 0 90 0 0 0 18 0 5 0 515392970 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 548108

[startup+3.10075 s]
/proc/loadavg: 7.88 8.08 7.88 10/186 18985
/proc/meminfo: memFree=24904300/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=539408 CPUtime=10.26 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 145918 0 0 0 975 51 0 0 19 0 5 0 515392936 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 134852 79784 349 389 0 130602 0
[pid=18948/tid=18950] ppid=18947 vsize=539408 CPUtime=2.28 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 30962 0 0 0 207 21 0 0 20 0 5 0 515392956 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=539408 CPUtime=2.61 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 28936 0 0 0 249 12 0 0 21 0 5 0 515392961 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=539408 CPUtime=2.52 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 29747 0 0 0 239 13 0 0 22 0 5 0 515392965 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330494 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=539408 CPUtime=2.5 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 27375 0 0 0 250 0 0 0 22 0 5 0 515392970 552353792 79784 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 548108

[startup+6.3012 s]
/proc/loadavg: 7.88 8.08 7.88 10/186 18985
/proc/meminfo: memFree=24890372/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=549324 CPUtime=20.62 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 152453 0 0 0 2003 59 0 0 19 0 5 0 515392936 562507776 86319 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 137331 86320 353 389 0 133081 0
[pid=18948/tid=18950] ppid=18947 vsize=549324 CPUtime=5.25 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 30994 0 0 0 503 22 0 0 25 0 5 0 515392956 562507776 86322 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330504 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=549324 CPUtime=3.99 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 28949 0 0 0 381 18 0 0 25 0 5 0 515392961 562507776 86325 33554432000 4194304 5787044 140734018444576 18446744073709551615 4330518 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=549324 CPUtime=5.34 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 30642 0 0 0 520 14 0 0 25 0 5 0 515392965 562507776 86327 33554432000 4194304 5787044 140734018444576 18446744073709551615 4335666 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=549324 CPUtime=5.7 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 32980 0 0 0 569 1 0 0 25 0 5 0 515392970 562507776 86329 33554432000 4194304 5787044 140734018444576 18446744073709551615 274664469189 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20.62
Current children cumulated vsize (KiB) 558024

[startup+12.7011 s]
/proc/loadavg: 8.12 8.13 7.90 9/186 18985
/proc/meminfo: memFree=24738388/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=666012 CPUtime=45.85 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 213096 0 0 0 4518 67 0 0 19 0 5 0 515392936 681996288 115255 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 166503 115255 418 389 0 162253 0
[pid=18948/tid=18950] ppid=18947 vsize=666012 CPUtime=11.66 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 42654 0 0 0 1142 24 0 0 25 0 5 0 515392956 681996288 115255 33554432000 4194304 5787044 140734018444576 18446744073709551615 5585335 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=666012 CPUtime=10.18 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 36770 0 0 0 999 19 0 0 25 0 5 0 515392961 681996288 115255 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591243 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=666012 CPUtime=11.56 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 41646 0 0 0 1141 15 0 0 25 0 5 0 515392965 681996288 115255 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=666012 CPUtime=12.1 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 63128 0 0 0 1206 4 0 0 25 0 5 0 515392970 681996288 115255 33554432000 4194304 5787044 140734018444576 18446744073709551615 5527610 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 45.85
Current children cumulated vsize (KiB) 674712

[startup+25.5009 s]
/proc/loadavg: 8.10 8.13 7.90 9/186 18985
/proc/meminfo: memFree=24719772/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=666012 CPUtime=96.97 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 219278 0 0 0 9628 69 0 0 19 0 5 0 515392936 681996288 116010 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 166503 116010 418 389 0 162253 0
[pid=18948/tid=18950] ppid=18947 vsize=666012 CPUtime=24.45 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 42986 0 0 0 2421 24 0 0 25 0 5 0 515392956 681996288 116010 33554432000 4194304 5787044 140734018444576 18446744073709551615 5585293 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=666012 CPUtime=22.97 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 36854 0 0 0 2278 19 0 0 25 0 5 0 515392961 681996288 116010 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591552 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=666012 CPUtime=24.29 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 41971 0 0 0 2413 16 0 0 25 0 5 0 515392965 681996288 116010 33554432000 4194304 5787044 140734018444576 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=666012 CPUtime=24.9 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 68569 0 0 0 2485 5 0 0 25 0 5 0 515392970 681996288 116010 33554432000 4194304 5787044 140734018444576 18446744073709551615 4220347 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 96.97
Current children cumulated vsize (KiB) 674712

[startup+51.1005 s]
/proc/loadavg: 8.06 8.11 7.90 9/186 18986
/proc/meminfo: memFree=24687068/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=666012 CPUtime=199.21 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 232764 0 0 0 19848 73 0 0 19 0 5 0 515392936 681996288 119251 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 166503 119251 418 389 0 162253 0
[pid=18948/tid=18950] ppid=18947 vsize=666012 CPUtime=50.05 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 43456 0 0 0 4980 25 0 0 25 0 5 0 515392956 681996288 119251 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591064 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=666012 CPUtime=48.57 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 37136 0 0 0 4837 20 0 0 25 0 5 0 515392961 681996288 119251 33554432000 4194304 5787044 140734018444576 18446744073709551615 4215351 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=666012 CPUtime=49.75 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 42904 0 0 0 4958 17 0 0 25 0 5 0 515392965 681996288 119251 33554432000 4194304 5787044 140734018444576 18446744073709551615 5576660 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=666012 CPUtime=50.49 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 80370 0 0 0 5042 7 0 0 25 0 5 0 515392970 681996288 119251 33554432000 4194304 5787044 140734018444576 18446744073709551615 5528404 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 199.21
Current children cumulated vsize (KiB) 674712

[startup+102.307 s]
/proc/loadavg: 8.06 8.11 7.91 9/186 18987
/proc/meminfo: memFree=24647448/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=666012 CPUtime=403.74 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 237774 0 0 0 40297 77 0 0 19 0 5 0 515392936 681996288 124258 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 166503 124258 418 389 0 162253 0
[pid=18948/tid=18950] ppid=18947 vsize=666012 CPUtime=101.25 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 44059 0 0 0 10100 25 0 0 25 0 5 0 515392956 681996288 124258 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591564 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=666012 CPUtime=99.77 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 38070 0 0 0 9957 20 0 0 25 0 5 0 515392961 681996288 124258 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=666012 CPUtime=100.68 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 44717 0 0 0 10050 18 0 0 25 0 5 0 515392965 681996288 124258 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=666012 CPUtime=101.68 cores=0,2,4,6

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

/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 44511 0 0 0 81941 26 0 0 25 0 5 0 515392961 988315648 180223 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=965152 CPUtime=816.49 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 59146 0 0 0 81607 42 0 0 25 0 5 0 515392965 988315648 180223 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=965152 CPUtime=821.23 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 118866 0 0 0 82081 42 0 0 25 0 5 0 515392970 988315648 180223 33554432000 4194304 5787044 140734018444576 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3278.92
Current children cumulated vsize (KiB) 973852

[startup+882.301 s]
/proc/loadavg: 8.08 8.08 8.00 9/186 19040
/proc/meminfo: memFree=24250280/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=967716 CPUtime=3518.55 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 301486 0 0 0 351707 148 0 0 19 0 5 0 515392936 990941184 182270 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 241929 182270 418 389 0 237679 0
[pid=18948/tid=18950] ppid=18947 vsize=967716 CPUtime=881.17 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 48019 0 0 0 88086 31 0 0 25 0 5 0 515392956 990941184 182270 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=967716 CPUtime=879.67 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 45197 0 0 0 87940 27 0 0 25 0 5 0 515392961 990941184 182270 33554432000 4194304 5787044 140734018444576 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=967716 CPUtime=876.13 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 60443 0 0 0 87570 43 0 0 25 0 5 0 515392965 990941184 182270 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=967716 CPUtime=881.21 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 118929 0 0 0 88079 42 0 0 25 0 5 0 515392970 990941184 182270 33554432000 4194304 5787044 140734018444576 18446744073709551615 4318959 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.55
Current children cumulated vsize (KiB) 976416

[startup+942.301 s]
/proc/loadavg: 8.03 8.07 8.00 9/186 19051
/proc/meminfo: memFree=24235720/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=972408 CPUtime=3758.09 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 303642 0 0 0 375657 152 0 0 19 0 5 0 515392936 995745792 184420 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 243102 184420 418 389 0 238852 0
[pid=18948/tid=18950] ppid=18947 vsize=972408 CPUtime=941.17 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 48634 0 0 0 94083 34 0 0 25 0 5 0 515392956 995745792 184420 33554432000 4194304 5787044 140734018444576 18446744073709551615 274664469537 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=972408 CPUtime=939.67 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 46195 0 0 0 93940 27 0 0 25 0 5 0 515392961 995745792 184420 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=972408 CPUtime=935.7 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 60653 0 0 0 93525 45 0 0 25 0 5 0 515392965 995745792 184420 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=972408 CPUtime=941.2 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 119262 0 0 0 94078 42 0 0 25 0 5 0 515392970 995745792 184420 33554432000 4194304 5787044 140734018444576 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.09
Current children cumulated vsize (KiB) 981108

[startup+1002.3 s]
/proc/loadavg: 8.01 8.05 8.00 9/186 19052
/proc/meminfo: memFree=24217988/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=979140 CPUtime=3997.7 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 306694 0 0 0 399615 155 0 0 19 0 5 0 515392936 1002639360 187100 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 244785 187100 418 389 0 240535 0
[pid=18948/tid=18950] ppid=18947 vsize=979140 CPUtime=1001.16 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 48851 0 0 0 100082 34 0 0 25 0 5 0 515392956 1002639360 187100 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=979140 CPUtime=999.68 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 47499 0 0 0 99940 28 0 0 25 0 5 0 515392961 1002639360 187100 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=979140 CPUtime=995.34 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 60926 0 0 0 99487 47 0 0 25 0 5 0 515392965 1002639360 187100 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=979140 CPUtime=1001.18 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 120520 0 0 0 100076 42 0 0 25 0 5 0 515392970 1002639360 187100 33554432000 4194304 5787044 140734018444576 18446744073709551615 4336777 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3997.7
Current children cumulated vsize (KiB) 987840

[startup+1062.3 s]
/proc/loadavg: 8.00 8.04 8.00 9/186 19054
/proc/meminfo: memFree=24190704/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=984524 CPUtime=4237.34 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 308419 0 0 0 423577 157 0 0 19 0 5 0 515392936 1008152576 188641 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 246131 188641 418 389 0 241881 0
[pid=18948/tid=18950] ppid=18947 vsize=984524 CPUtime=1061.15 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 49093 0 0 0 106081 34 0 0 25 0 5 0 515392956 1008152576 188641 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=984524 CPUtime=1059.67 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 47831 0 0 0 105939 28 0 0 25 0 5 0 515392961 1008152576 188641 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591666 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=984524 CPUtime=1054.98 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 61130 0 0 0 105451 47 0 0 25 0 5 0 515392965 1008152576 188641 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=984524 CPUtime=1061.17 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 121467 0 0 0 106074 43 0 0 25 0 5 0 515392970 1008152576 188641 33554432000 4194304 5787044 140734018444576 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.34
Current children cumulated vsize (KiB) 993224

[startup+1122.3 s]
/proc/loadavg: 8.07 8.04 8.00 9/186 19055
/proc/meminfo: memFree=24160192/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=985512 CPUtime=4476.95 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 309258 0 0 0 447536 159 0 0 19 0 5 0 515392936 1009164288 189480 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 246378 189480 418 389 0 242128 0
[pid=18948/tid=18950] ppid=18947 vsize=985512 CPUtime=1121.15 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 49199 0 0 0 112080 35 0 0 25 0 5 0 515392956 1009164288 189480 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=985512 CPUtime=1119.66 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 48066 0 0 0 111938 28 0 0 25 0 5 0 515392961 1009164288 189480 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=985512 CPUtime=1114.62 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 61317 0 0 0 111414 48 0 0 25 0 5 0 515392965 1009164288 189480 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=985512 CPUtime=1121.15 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 121778 0 0 0 112072 43 0 0 25 0 5 0 515392970 1009164288 189480 33554432000 4194304 5787044 140734018444576 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.95
Current children cumulated vsize (KiB) 994212

[startup+1182.3 s]
/proc/loadavg: 8.09 8.05 8.00 9/186 19057
/proc/meminfo: memFree=24152372/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=985512 CPUtime=4716.57 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 309699 0 0 0 471498 159 0 0 19 0 5 0 515392936 1009164288 189824 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 246378 189824 418 389 0 242128 0
[pid=18948/tid=18950] ppid=18947 vsize=985512 CPUtime=1181.15 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 49286 0 0 0 118080 35 0 0 25 0 5 0 515392956 1009164288 189824 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=985512 CPUtime=1179.66 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 48066 0 0 0 117938 28 0 0 25 0 5 0 515392961 1009164288 189824 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=985512 CPUtime=1174.27 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 61322 0 0 0 117378 49 0 0 25 0 5 0 515392965 1009164288 189824 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=985512 CPUtime=1181.13 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 122127 0 0 0 118070 43 0 0 25 0 5 0 515392970 1009164288 189824 33554432000 4194304 5787044 140734018444576 18446744073709551615 5528368 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.57
Current children cumulated vsize (KiB) 994212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.07 8.05 8.00 9/186 19058
/proc/meminfo: memFree=24151624/32951132 swapFree=67111524/67111528
[pid=18947] ppid=18945 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/18947/stat : 18947 (priss.sh) S 18945 18947 18837 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515392936 8908800 251 33554432000 4194304 4922060 140734353325184 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18947/statm: 2175 251 211 178 0 68 0
[pid=18948] ppid=18947 vsize=985512 CPUtime=4800.07 cores=0,2,4,6
/proc/18948/stat : 18948 (priss) S 18947 18947 18837 0 -1 4202496 309746 0 0 0 479847 160 0 0 19 0 5 0 515392936 1009164288 189871 33554432000 4194304 5787044 140734018444576 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18948/statm: 246378 189871 418 389 0 242128 0
[pid=18948/tid=18950] ppid=18947 vsize=985512 CPUtime=1202.05 cores=0,2,4,6
/proc/18948/task/18950/stat : 18950 (priss) R 18947 18947 18837 0 -1 4202560 49314 0 0 0 120170 35 0 0 25 0 5 0 515392956 1009164288 189871 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=18948/tid=18951] ppid=18947 vsize=985512 CPUtime=1200.57 cores=0,2,4,6
/proc/18948/task/18951/stat : 18951 (priss) R 18947 18947 18837 0 -1 4202560 48084 0 0 0 120029 28 0 0 25 0 5 0 515392961 1009164288 189871 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=18948/tid=18952] ppid=18947 vsize=985512 CPUtime=1195.06 cores=0,2,4,6
/proc/18948/task/18952/stat : 18952 (priss) R 18947 18947 18837 0 -1 4202560 61323 0 0 0 119457 49 0 0 25 0 5 0 515392965 1009164288 189871 33554432000 4194304 5787044 140734018444576 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=18948/tid=18953] ppid=18947 vsize=985512 CPUtime=1202.03 cores=0,2,4,6
/proc/18948/task/18953/stat : 18953 (priss) R 18947 18947 18837 0 -1 4202560 122127 0 0 0 120160 43 0 0 25 0 5 0 515392970 1009164288 189871 33554432000 4194304 5787044 140734018444576 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 994212

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

Real time (s): 1203.22
CPU time (s): 4800.07
CPU user time (s): 4798.47
CPU system time (s): 1.6
CPU usage (%): 398.936
Max. virtual memory (cumulated for all children) (KiB): 994212

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= 330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3

runsolver used 1.84072 second user time and 4.73728 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 02:45:33
IDJOB=3280419
IDBENCH=20387
IDSOLVER=1603
FILE ID=node131/3280419-1304037932
RUNJOBID= node131-1304036726-18855
PBS_JOBID= 13170364
Free space on /tmp= 71348 MiB

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

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

MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED=866099063

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      25226328 kB
Buffers:        937376 kB
Cached:        6233028 kB
SwapCached:          4 kB
Active:         226976 kB
Inactive:      7011296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      25226328 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12468 kB
Writeback:           0 kB
AnonPages:       67664 kB
Mapped:          15428 kB
Slab:           422912 kB
PageTables:       4768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   221624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71372 MiB
End job on node131 at 2011-04-29 03:05:38