Trace number 3288055

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.0UNSAT 1300.45 325.715

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
MD5SUM3fad4722cb319d6fee4192f2fe2c31ed
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark166.168
Satisfiable
(Un)Satisfiability was proved
Number of variables98935
Number of clauses296405
Sum of the clauses size691609
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2197602
Number of clauses of size 398801
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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: 18504
0.00/0.08	c parsetime: 77558us
0.00/0.08	c parsed 296405 clauses with 98935 variables
0.00/0.10	c NW started thread 0 successfully (1109346624)
0.00/0.11	c NW started thread 1 successfully (1119836480)
0.00/0.14	c NW started thread 2 successfully (1130326336)
0.00/0.16	c NW started thread 3 successfully (1090861376)
12.29/3.24	c preprocessor returned 98935 variables
12.29/3.24	c preprocessing returned UNKNOWN
12.29/3.24	c PP set 538 variables
12.29/3.24	c pp time: 3124727us (3s)
12.29/3.25	c preprocessor returned 98935 variables
12.29/3.25	c preprocessing returned UNKNOWN
12.29/3.25	c PP set 538 variables
12.29/3.25	c pp time: 3114922us (3s)
12.29/3.26	c preprocessor returned 98935 variables
12.29/3.26	c preprocessing returned UNKNOWN
12.29/3.26	c PP set 538 variables
12.29/3.26	c pp time: 3074353us (3s)
12.29/3.26	c preprocessor returned 98935 variables
12.29/3.26	c preprocessing returned UNKNOWN
12.29/3.26	c PP set 538 variables
12.29/3.26	c pp time: 3104338us (3s)
13.51/3.52	c HTE
13.91/3.63	c subsumption
14.28/3.76	c simplified formula contains 0 unit clauses
15.08/3.96	c HTE
15.48/4.06	c subsumption
15.88/4.19	c simplified formula contains 0 unit clauses
17.09/4.49	c HTE
17.49/4.59	c subsumption
18.30/4.71	c simplified formula contains 0 unit clauses
19.88/5.13	c received clause contains eliminated literal 13550
20.28/5.27	c HTE
20.67/5.37	c subsumption
21.07/5.49	c simplified formula contains 0 unit clauses
23.07/5.93	c HTE
23.47/6.03	c subsumption
23.47/6.04	c added unsatisfied clause
23.47/6.04	c failed to add network clauses
23.87/6.15	c simplified formula contains 0 unit clauses
24.67/6.35	c HTE
25.07/6.44	c subsumption
25.47/6.56	c simplified formula contains 0 unit clauses
26.27/6.80	c HTE
26.69/6.89	c subsumption
27.47/7.00	c simplified formula contains 0 unit clauses
33.86/8.65	c HTE
34.26/8.75	c subsumption
34.65/8.86	c simplified formula contains 0 unit clauses
34.65/8.88	c received clause contains eliminated literal 7026
63.01/15.95	c HTE
63.41/16.07	c subsumption
64.21/16.23	c simplified formula contains 0 unit clauses
89.78/22.69	c added unsatisfied clause
89.78/22.69	c failed to add network clauses
112.95/28.50	c received clause contains eliminated literal 46463
121.74/30.68	c added unsatisfied clause
121.74/30.68	c failed to add network clauses
148.89/37.44	c added unsatisfied clause
148.89/37.44	c failed to add network clauses
190.04/47.79	c received clause contains eliminated literal 27803
205.22/51.59	c added unsatisfied clause
205.22/51.59	c failed to add network clauses
630.22/157.97	c HTE
635.02/159.18	c subsumption
644.60/161.54	c simplified formula contains 0 unit clauses
742.47/186.01	c added unsatisfied clause
742.47/186.01	c failed to add network clauses
753.65/188.88	c added unsatisfied clause
753.65/188.88	c failed to add network clauses
952.96/238.75	c added unsatisfied clause
952.96/238.75	c failed to add network clauses
1158.28/290.20	c added unsatisfied clause
1158.28/290.20	c failed to add network clauses
1272.92/318.87	c HTE
1276.92/319.89	c subsumption
1299.29/325.49	c simplified formula contains 0 unit clauses
1299.69/325.55	c added unsatisfied clause
1299.69/325.55	c failed to add network clauses
1299.69/325.55	c ====================
1299.69/325.55	c implication/decision inf%(inf)
1299.69/325.55	c decisions:           1999829
1299.69/325.55	c last level:          0
1299.69/325.55	c conflicts:           695044
1299.69/325.55	c restarts:            4610
1299.69/325.55	c rejected_restarts    0
1299.69/325.55	c removals:            18
1299.69/325.55	c removed clauses:     412831
1299.69/325.55	c oft clauses:         0
1299.69/325.59	c solvetime: 322329542us (322s)
1300.09/325.68	c sended clauses   | 31984 | 31235 | 35882 | 34776 |
1300.09/325.68	c received clauses | 0 | 967 | 639 | 813 |
1300.09/325.68	c join all other threads
1300.09/325.68	c joined thread 0
1300.09/325.68	c joined thread 1
1300.09/325.68	c joined thread 2
1300.09/325.68	c joined thread 3
1300.09/325.68	c memory usage (vsize): 655 MB
1300.09/325.68	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3288055-1304051739/watcher-3288055-1304051739 -o /tmp/evaluation-result-3288055-1304051739/solver-3288055-1304051739 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3288055-1304051739.cnf 1277191455 4800 15500 4 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.82 7.97 7.96 5/182 18503
/proc/meminfo: memFree=23726232/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0

[startup+0.05929 s]
/proc/loadavg: 7.82 7.97 7.96 5/182 18503
/proc/meminfo: memFree=23726232/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100286 s]
/proc/loadavg: 7.82 7.97 7.96 5/182 18503
/proc/meminfo: memFree=23726232/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.367723 s]
/proc/loadavg: 7.82 7.97 7.96 5/182 18503
/proc/meminfo: memFree=23726232/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.703888 s]
/proc/loadavg: 7.82 7.97 7.96 5/182 18503
/proc/meminfo: memFree=23726232/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.501 s]
/proc/loadavg: 7.82 7.97 7.96 9/188 18509
/proc/meminfo: memFree=23482296/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=425500 CPUtime=5.51 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 97762 0 0 0 506 45 0 0 19 0 5 0 497590195 435712000 64495 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 106375 64497 351 389 0 102125 0
[pid=18504/tid=18506] ppid=18503 vsize=425500 CPUtime=1.35 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 21714 0 0 0 124 11 0 0 18 0 5 0 497590205 435712000 64498 33554432000 4194304 5787044 140733735609520 18446744073709551615 4278467 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=425500 CPUtime=1.34 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 19518 0 0 0 123 11 0 0 18 0 5 0 497590207 435712000 64499 33554432000 4194304 5787044 140733735609520 18446744073709551615 212039316513 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=425500 CPUtime=1.33 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 24177 0 0 0 122 11 0 0 18 0 5 0 497590210 435712000 64500 33554432000 4194304 5787044 140733735609520 18446744073709551615 212039346264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=425500 CPUtime=1.29 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 17960 0 0 0 120 9 0 0 18 0 5 0 497590212 435712000 64502 33554432000 4194304 5787044 140733735609520 18446744073709551615 4276761 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 434200

[startup+3.10072 s]
/proc/loadavg: 7.82 7.97 7.96 9/188 18509
/proc/meminfo: memFree=23462952/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=442392 CPUtime=11.89 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 114328 0 0 0 1139 50 0 0 19 0 5 0 497590195 453009408 81061 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 110598 81061 353 389 0 106348 0
[pid=18504/tid=18506] ppid=18503 vsize=442392 CPUtime=2.95 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 25577 0 0 0 283 12 0 0 21 0 5 0 497590205 453009408 81061 33554432000 4194304 5787044 140733735609520 18446744073709551615 4324863 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=442392 CPUtime=2.94 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 23638 0 0 0 282 12 0 0 20 0 5 0 497590207 453009408 81061 33554432000 4194304 5787044 140733735609520 18446744073709551615 4308060 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=442392 CPUtime=2.93 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 28479 0 0 0 280 13 0 0 20 0 5 0 497590210 453009408 81061 33554432000 4194304 5787044 140733735609520 18446744073709551615 4306207 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=442392 CPUtime=2.88 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 22237 0 0 0 278 10 0 0 18 0 5 0 497590212 453009408 81061 33554432000 4194304 5787044 140733735609520 18446744073709551615 47667348247703 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 451092

[startup+6.30114 s]
/proc/loadavg: 7.84 7.97 7.96 9/188 18509
/proc/meminfo: memFree=23357060/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=521688 CPUtime=24.67 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 126341 0 0 0 2414 53 0 0 19 0 5 0 497590195 534208512 91768 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 130422 91768 418 389 0 126172 0
[pid=18504/tid=18506] ppid=18503 vsize=521688 CPUtime=6.13 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 26779 0 0 0 601 12 0 0 25 0 5 0 497590205 534208512 91768 33554432000 4194304 5787044 140733735609520 18446744073709551615 5586868 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=521688 CPUtime=6.14 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 24377 0 0 0 601 13 0 0 25 0 5 0 497590207 534208512 91768 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=521688 CPUtime=6.12 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 29286 0 0 0 599 13 0 0 25 0 5 0 497590210 534208512 91768 33554432000 4194304 5787044 140733735609520 18446744073709551615 5592640 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=521688 CPUtime=6.09 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 31502 0 0 0 597 12 0 0 25 0 5 0 497590212 534208512 91768 33554432000 4194304 5787044 140733735609520 18446744073709551615 4326820 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.67
Current children cumulated vsize (KiB) 530388

[startup+12.701 s]
/proc/loadavg: 7.85 7.97 7.96 9/188 18509
/proc/meminfo: memFree=23348644/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=521824 CPUtime=50.24 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 130142 0 0 0 4969 55 0 0 19 0 5 0 497590195 534347776 92081 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 130456 92081 418 389 0 126206 0
[pid=18504/tid=18506] ppid=18503 vsize=521824 CPUtime=12.49 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 26783 0 0 0 1237 12 0 0 25 0 5 0 497590205 534347776 92081 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=521824 CPUtime=12.54 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 24379 0 0 0 1241 13 0 0 25 0 5 0 497590207 534347776 92081 33554432000 4194304 5787044 140733735609520 18446744073709551615 4254537 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=521824 CPUtime=12.52 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 29289 0 0 0 1239 13 0 0 25 0 5 0 497590210 534347776 92081 33554432000 4194304 5787044 140733735609520 18446744073709551615 4254384 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=521824 CPUtime=12.49 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 35294 0 0 0 1236 13 0 0 25 0 5 0 497590212 534347776 92081 33554432000 4194304 5787044 140733735609520 18446744073709551615 5526762 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.24
Current children cumulated vsize (KiB) 530524

[startup+25.5007 s]
/proc/loadavg: 7.88 7.97 7.96 9/188 18510
/proc/meminfo: memFree=23342924/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=521824 CPUtime=101.38 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 134279 0 0 0 10081 57 0 0 19 0 5 0 497590195 534347776 92552 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 130456 92552 418 389 0 126206 0
[pid=18504/tid=18506] ppid=18503 vsize=521824 CPUtime=25.22 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 26818 0 0 0 2510 12 0 0 25 0 5 0 497590205 534347776 92552 33554432000 4194304 5787044 140733735609520 18446744073709551615 5588286 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=521824 CPUtime=25.35 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 24455 0 0 0 2521 14 0 0 25 0 5 0 497590207 534347776 92552 33554432000 4194304 5787044 140733735609520 18446744073709551615 5590464 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=521824 CPUtime=25.32 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 29427 0 0 0 2519 13 0 0 25 0 5 0 497590210 534347776 92552 33554432000 4194304 5787044 140733735609520 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=521824 CPUtime=25.29 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 39182 0 0 0 2515 14 0 0 25 0 5 0 497590212 534347776 92552 33554432000 4194304 5787044 140733735609520 18446744073709551615 5530964 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 530524

[startup+51.1012 s]
/proc/loadavg: 8.05 8.01 7.97 9/188 18510
/proc/meminfo: memFree=23316088/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=587360 CPUtime=203.62 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 136061 0 0 0 20303 59 0 0 19 0 5 0 497590195 601456640 94332 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 146840 94332 418 389 0 142590 0
[pid=18504/tid=18506] ppid=18503 vsize=587360 CPUtime=50.68 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 27101 0 0 0 5055 13 0 0 25 0 5 0 497590205 601456640 94332 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591083 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=587360 CPUtime=50.94 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 24762 0 0 0 5080 14 0 0 25 0 5 0 497590207 601456640 94332 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591064 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=587360 CPUtime=50.92 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 29593 0 0 0 5078 14 0 0 25 0 5 0 497590210 601456640 94332 33554432000 4194304 5787044 140733735609520 18446744073709551615 4213852 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=587360 CPUtime=50.89 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 40208 0 0 0 5074 15 0 0 25 0 5 0 497590212 601456640 94332 33554432000 4194304 5787044 140733735609520 18446744073709551615 5527489 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.62
Current children cumulated vsize (KiB) 596060

[startup+102.301 s]
/proc/loadavg: 8.08 8.02 7.98 9/188 18512
/proc/meminfo: memFree=23283560/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=587360 CPUtime=408.14 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 141327 0 0 0 40746 68 0 0 19 0 5 0 497590195 601456640 99498 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 146840 99498 418 389 0 142590 0
[pid=18504/tid=18506] ppid=18503 vsize=587360 CPUtime=101.6 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 28062 0 0 0 10145 15 0 0 25 0 5 0 497590205 601456640 99498 33554432000 4194304 5787044 140733735609520 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=587360 CPUtime=102.14 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 25875 0 0 0 10197 17 0 0 25 0 5 0 497590207 601456640 99498 33554432000 4194304 5787044 140733735609520 18446744073709551615 5588062 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=587360 CPUtime=102.12 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 32438 0 0 0 10195 17 0 0 25 0 5 0 497590210 601456640 99498 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=587360 CPUtime=102.09 cores=1,3,5,7

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

[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=672924 CPUtime=1127.12 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 164426 0 0 0 112618 94 0 0 19 0 5 0 497590195 689074176 121884 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 168231 121884 418 389 0 163981 0
[pid=18504/tid=18506] ppid=18503 vsize=672924 CPUtime=280.69 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 32785 0 0 0 28048 21 0 0 25 0 5 0 497590205 689074176 121884 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=672924 CPUtime=282.13 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 30787 0 0 0 28188 25 0 0 25 0 5 0 497590207 689074176 121884 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=672924 CPUtime=282.02 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 34564 0 0 0 28181 21 0 0 25 0 5 0 497590210 689074176 121884 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591342 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=672924 CPUtime=282.08 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 51893 0 0 0 28184 24 0 0 25 0 5 0 497590212 689074176 121884 33554432000 4194304 5787044 140733735609520 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1127.12
Current children cumulated vsize (KiB) 681624

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

[startup+307.4 s]
/proc/loadavg: 8.08 8.05 8.00 9/188 18517
/proc/meminfo: memFree=23109040/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=675168 CPUtime=1227.38 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 165803 0 0 0 122642 96 0 0 19 0 5 0 497590195 691372032 123261 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 168792 123261 418 389 0 164542 0
[pid=18504/tid=18506] ppid=18503 vsize=675168 CPUtime=305.79 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 32786 0 0 0 30558 21 0 0 25 0 5 0 497590205 691372032 123261 33554432000 4194304 5787044 140733735609520 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=675168 CPUtime=307.22 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 31456 0 0 0 30696 26 0 0 25 0 5 0 497590207 691372032 123261 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=675168 CPUtime=306.99 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 35152 0 0 0 30677 22 0 0 25 0 5 0 497590210 691372032 123261 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=675168 CPUtime=307.18 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 52012 0 0 0 30694 24 0 0 25 0 5 0 497590212 691372032 123261 33554432000 4194304 5787044 140733735609520 18446744073709551615 5528398 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1227.38
Current children cumulated vsize (KiB) 683868

[startup+313.807 s]
/proc/loadavg: 8.07 8.05 8.00 9/188 18517
/proc/meminfo: memFree=23102592/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=676884 CPUtime=1252.98 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 167301 0 0 0 125199 99 0 0 19 0 5 0 497590195 693129216 124759 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 169221 124759 418 389 0 164971 0
[pid=18504/tid=18506] ppid=18503 vsize=676884 CPUtime=312.21 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 33134 0 0 0 31198 23 0 0 25 0 5 0 497590205 693129216 124759 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=676884 CPUtime=313.64 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 31689 0 0 0 31337 27 0 0 25 0 5 0 497590207 693129216 124759 33554432000 4194304 5787044 140733735609520 18446744073709551615 5588076 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=676884 CPUtime=313.36 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 35588 0 0 0 31314 22 0 0 25 0 5 0 497590210 693129216 124759 33554432000 4194304 5787044 140733735609520 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=676884 CPUtime=313.58 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 52493 0 0 0 31334 24 0 0 25 0 5 0 497590212 693129216 124759 33554432000 4194304 5787044 140733735609520 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1252.98
Current children cumulated vsize (KiB) 685584

[startup+320.201 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 18517
/proc/meminfo: memFree=23077168/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=690908 CPUtime=1278.52 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 174363 0 0 0 127750 102 0 0 19 0 5 0 497590195 707489792 130840 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 172727 130840 418 389 0 168477 0
[pid=18504/tid=18506] ppid=18503 vsize=690908 CPUtime=318.6 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 33390 0 0 0 31837 23 0 0 25 0 5 0 497590205 707489792 130840 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591280 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=690908 CPUtime=320.03 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 31812 0 0 0 31976 27 0 0 25 0 5 0 497590207 707489792 130840 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=690908 CPUtime=319.72 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 35934 0 0 0 31949 23 0 0 25 0 5 0 497590210 707489792 130840 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591217 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=690908 CPUtime=319.98 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 58830 0 0 0 31972 26 0 0 25 0 5 0 497590212 707489792 130840 33554432000 4194304 5787044 140733735609520 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1278.52
Current children cumulated vsize (KiB) 699608

[startup+323.401 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 18517
/proc/meminfo: memFree=23077148/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=690908 CPUtime=1291.29 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 175409 0 0 0 129027 102 0 0 19 0 5 0 497590195 707489792 131886 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 172727 131886 418 389 0 168477 0
[pid=18504/tid=18506] ppid=18503 vsize=690908 CPUtime=321.8 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 33403 0 0 0 32157 23 0 0 25 0 5 0 497590205 707489792 131886 33554432000 4194304 5787044 140733735609520 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=690908 CPUtime=323.22 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 31815 0 0 0 32295 27 0 0 25 0 5 0 497590207 707489792 131886 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=690908 CPUtime=322.9 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 36936 0 0 0 32267 23 0 0 25 0 5 0 497590210 707489792 131886 33554432000 4194304 5787044 140733735609520 18446744073709551615 5586783 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=690908 CPUtime=323.18 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 58858 0 0 0 32292 26 0 0 25 0 5 0 497590212 707489792 131886 33554432000 4194304 5787044 140733735609520 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1291.29
Current children cumulated vsize (KiB) 699608

[startup+325.001 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 18518
/proc/meminfo: memFree=23072684/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=690908 CPUtime=1297.69 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 175586 0 0 0 129666 103 0 0 19 0 5 0 497590195 707489792 132063 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 172727 132063 418 389 0 168477 0
[pid=18504/tid=18506] ppid=18503 vsize=690908 CPUtime=323.39 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 33429 0 0 0 32316 23 0 0 25 0 5 0 497590205 707489792 132063 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=690908 CPUtime=324.82 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 31847 0 0 0 32455 27 0 0 25 0 5 0 497590207 707489792 132063 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591328 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=690908 CPUtime=324.49 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 36973 0 0 0 32426 23 0 0 25 0 5 0 497590210 707489792 132063 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=690908 CPUtime=324.78 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 58940 0 0 0 32452 26 0 0 25 0 5 0 497590212 707489792 132063 33554432000 4194304 5787044 140733735609520 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1297.69
Current children cumulated vsize (KiB) 699608

[startup+325.401 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 18518
/proc/meminfo: memFree=23072684/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=690908 CPUtime=1299.29 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 175638 0 0 0 129826 103 0 0 19 0 5 0 497590195 707489792 132115 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 172727 132115 418 389 0 168477 0
[pid=18504/tid=18506] ppid=18503 vsize=690908 CPUtime=323.79 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 33435 0 0 0 32356 23 0 0 25 0 5 0 497590205 707489792 132115 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=690908 CPUtime=325.22 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 31856 0 0 0 32495 27 0 0 25 0 5 0 497590207 707489792 132115 33554432000 4194304 5787044 140733735609520 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=690908 CPUtime=324.89 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 36978 0 0 0 32466 23 0 0 25 0 5 0 497590210 707489792 132115 33554432000 4194304 5787044 140733735609520 18446744073709551615 5590283 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=690908 CPUtime=325.18 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 58972 0 0 0 32492 26 0 0 25 0 5 0 497590212 707489792 132115 33554432000 4194304 5787044 140733735609520 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1299.29
Current children cumulated vsize (KiB) 699608

[startup+325.601 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 18518
/proc/meminfo: memFree=23072684/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=690908 CPUtime=1300.09 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) S 18503 18503 17192 0 -1 4202496 175674 0 0 0 129906 103 0 0 19 0 5 0 497590195 707489792 132151 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 172727 132151 430 389 0 168477 0
[pid=18504/tid=18506] ppid=18503 vsize=690908 CPUtime=323.99 cores=1,3,5,7
/proc/18504/task/18506/stat : 18506 (priss) R 18503 18503 17192 0 -1 4202560 33446 0 0 0 32376 23 0 0 25 0 5 0 497590205 707489792 132151 33554432000 4194304 5787044 140733735609520 18446744073709551615 5586761 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18504/tid=18507] ppid=18503 vsize=690908 CPUtime=325.42 cores=1,3,5,7
/proc/18504/task/18507/stat : 18507 (priss) R 18503 18503 17192 0 -1 4202560 31857 0 0 0 32515 27 0 0 25 0 5 0 497590207 707489792 132151 33554432000 4194304 5787044 140733735609520 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18504/tid=18508] ppid=18503 vsize=690908 CPUtime=325.09 cores=1,3,5,7
/proc/18504/task/18508/stat : 18508 (priss) R 18503 18503 17192 0 -1 4202560 36981 0 0 0 32486 23 0 0 25 0 5 0 497590210 707489792 132151 33554432000 4194304 5787044 140733735609520 18446744073709551615 5576461 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18504/tid=18509] ppid=18503 vsize=690908 CPUtime=325.37 cores=1,3,5,7
/proc/18504/task/18509/stat : 18509 (priss) R 18503 18503 17192 0 -1 4202560 58993 0 0 0 32511 26 0 0 25 0 5 0 497590212 707489792 132151 33554432000 4194304 5787044 140733735609520 18446744073709551615 212051481269 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1300.09
Current children cumulated vsize (KiB) 699608

[startup+325.701 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 18518
/proc/meminfo: memFree=23072684/32951124 swapFree=67111524/67111528
[pid=18503] ppid=18501 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18503/stat : 18503 (priss.sh) S 18501 18503 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 497590195 8908800 251 33554432000 4194304 4922060 140733210689456 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18503/statm: 2175 251 211 178 0 68 0
[pid=18504] ppid=18503 vsize=0 CPUtime=1300.42 cores=1,3,5,7
/proc/18504/stat : 18504 (priss) R 18503 18503 17192 0 -1 4202500 175707 0 0 0 129938 104 0 0 17 0 1 0 497590195 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18504/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300.42
Current children cumulated vsize (KiB) 8700

Child status: 20
Real time (s): 325.715
CPU time (s): 1300.45
CPU user time (s): 1299.38
CPU system time (s): 1.06284
CPU usage (%): 399.259
Max. virtual memory (cumulated for all children) (KiB): 699608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.38
system time used= 1.06284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176044
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= 28275
involuntary context switches= 5468

runsolver used 0.45493 second user time and 1.3338 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-29 06:35:39
IDJOB=3288055
IDBENCH=82482
IDSOLVER=1603
FILE ID=node146/3288055-1304051739
RUNJOBID= node146-1304042862-17211
PBS_JOBID= 13170387
Free space on /tmp= 72980 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288055-1304051739/watcher-3288055-1304051739 -o /tmp/evaluation-result-3288055-1304051739/solver-3288055-1304051739 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3288055-1304051739.cnf 1277191455 4800 15500 4

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

MD5SUM BENCH= 3fad4722cb319d6fee4192f2fe2c31ed
RANDOM SEED=1277191455

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23726504 kB
Buffers:       1667124 kB
Cached:        6269664 kB
SwapCached:          4 kB
Active:        2066384 kB
Inactive:      6629976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23726504 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6636 kB
Writeback:           0 kB
AnonPages:      759848 kB
Mapped:          15620 kB
Slab:           463352 kB
PageTables:       6260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1000580 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= 72980 MiB
End job on node146 at 2011-04-29 06:41:05