Trace number 3499161

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 15585.3 3896.66

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
MD5SUMa5bb71bc1d85a401ce9f42ed1404d63e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark182.547
Satisfiable
(Un)Satisfiability was proved
Number of variables387
Number of clauses62656
Sum of the clauses size362132
Maximum clause length24
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21453
Number of clauses of size 30
Number of clauses of size 41977
Number of clauses of size 53842
Number of clauses of size over 555320

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: 406
0.00/0.03	c parsetime: 28035us
0.00/0.03	c parsed 62656 clauses with 387 variables
0.00/0.04	c NW started thread 0 successfully (1088080192)
0.00/0.05	c NW started thread 1 successfully (1117055296)
0.00/0.07	c NW started thread 2 successfully (1098570048)
0.00/0.10	c NW started thread 3 successfully (1127545152)
4.60/1.25	c preprocessor returned 10026 variables
4.60/1.25	c preprocessing returned UNKNOWN
4.60/1.25	c PP set 97 variables
4.60/1.25	c pp time: 1215691us (1s)
4.60/1.29	c preprocessor returned 10026 variables
4.60/1.29	c preprocessing returned UNKNOWN
4.60/1.29	c PP set 97 variables
4.60/1.29	c pp time: 1216287us (1s)
5.40/1.40	c preprocessor returned 10026 variables
5.40/1.40	c preprocessing returned UNKNOWN
5.40/1.40	c PP set 97 variables
5.40/1.40	c pp time: 1343493us (1s)
52.97/13.39	c preprocessor returned 30027 variables
52.97/13.39	c preprocessing returned UNKNOWN
52.97/13.39	c PP set 97 variables
52.97/13.39	c pp time: 13290642us (13s)
9196.98/2299.57	c added unsatisfied clause
9196.98/2299.57	c failed to add network clauses
9405.39/2351.68	c added unsatisfied clause
9405.39/2351.68	c failed to add network clauses
13486.27/3371.89	c added unsatisfied clause
13486.27/3371.89	c failed to add network clauses
14491.09/3623.08	c added unsatisfied clause
14491.09/3623.08	c failed to add network clauses
14912.70/3728.45	c added unsatisfied clause
14912.70/3728.45	c failed to add network clauses
15311.92/3828.25	c added unsatisfied clause
15311.92/3828.25	c failed to add network clauses
15414.72/3853.90	c added unsatisfied clause
15414.72/3853.90	c failed to add network clauses
15477.93/3869.76	c added unsatisfied clause
15477.93/3869.76	c failed to add network clauses
15513.12/3878.52	c added unsatisfied clause
15513.12/3878.52	c failed to add network clauses
15527.12/3882.09	c added unsatisfied clause
15527.12/3882.09	c failed to add network clauses
15575.92/3894.21	c added unsatisfied clause
15575.92/3894.21	c failed to add network clauses
15582.32/3895.86	c ====================
15582.32/3895.86	c implication/decision inf%(inf)
15582.32/3895.86	c decisions:           4256807
15582.32/3895.86	c last level:          0
15582.32/3895.86	c conflicts:           2933585
15582.32/3895.86	c restarts:            19452
15582.32/3895.86	c rejected_restarts    0
15582.32/3895.86	c removals:            23
15582.32/3895.86	c removed clauses:     1788710
15582.32/3895.86	c oft clauses:         0
15582.32/3895.87	c added unsatisfied clause
15582.32/3895.87	c failed to add network clauses
15582.32/3895.87	c ====================
15584.89/3896.57	c sended clauses   | 53271 | 69307 | 9148 | 45001 |
15584.89/3896.57	c received clauses | 0 | 30 | 46 | 97 |
15584.89/3896.57	c join all other threads
15584.89/3896.57	c joined thread 0
15585.21/3896.62	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.1 (svn: 989)

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 /var/tmp/evaluation-result-3499161-1307987364/watcher-3499161-1307987364 -o /var/tmp/evaluation-result-3499161-1307987364/solver-3499161-1307987364 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499161-1307987364.cnf 1401288696 40000 31000 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.94 2.60 1.99 2/170 405
/proc/meminfo: memFree=10924668/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0

[startup+0.097772 s]
/proc/loadavg: 3.94 2.60 1.99 2/170 405
/proc/meminfo: memFree=10924668/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100772 s]
/proc/loadavg: 3.94 2.60 1.99 2/170 405
/proc/meminfo: memFree=10924668/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300733 s]
/proc/loadavg: 3.94 2.60 1.99 2/170 405
/proc/meminfo: memFree=10924668/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700638 s]
/proc/loadavg: 3.94 2.60 1.99 2/170 405
/proc/meminfo: memFree=10924668/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50049 s]
/proc/loadavg: 3.94 2.60 1.99 5/176 411
/proc/meminfo: memFree=10880028/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=293468 CPUtime=5.8 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 14225 0 0 0 574 6 0 0 18 0 5 0 988966986 300511232 12369 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 73367 12369 405 389 0 69117 0
[pid=406/tid=408] ppid=405 vsize=293468 CPUtime=1.45 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 2359 0 0 0 145 0 0 0 18 0 5 0 988966990 300511232 12369 33554432000 4194304 5787044 140735612931728 18446744073709551615 260020501023 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=293468 CPUtime=1.42 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 1841 0 0 0 142 0 0 0 23 0 5 0 988966992 300511232 12369 33554432000 4194304 5787044 140735612931728 18446744073709551615 4254531 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=406/tid=410] ppid=405 vsize=293468 CPUtime=1.41 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 1665 0 0 0 141 0 0 0 18 0 5 0 988966994 300511232 12369 33554432000 4194304 5787044 140735612931728 18446744073709551615 260020501023 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=293468 CPUtime=1.39 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 2317 0 0 0 139 0 0 0 18 0 5 0 988966996 300511232 12369 33554432000 4194304 5787044 140735612931728 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 302168

[startup+3.1012 s]
/proc/loadavg: 3.94 2.60 1.99 5/176 411
/proc/meminfo: memFree=10875564/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=293468 CPUtime=12.2 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 14491 0 0 0 1212 8 0 0 18 0 5 0 988966986 300511232 12635 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 73367 12635 405 389 0 69117 0
[pid=406/tid=408] ppid=405 vsize=293468 CPUtime=3.04 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 2427 0 0 0 304 0 0 0 18 0 5 0 988966990 300511232 12635 33554432000 4194304 5787044 140735612931728 18446744073709551615 4220930 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=293468 CPUtime=3.03 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 1859 0 0 0 302 1 0 0 18 0 5 0 988966992 300511232 12635 33554432000 4194304 5787044 140735612931728 18446744073709551615 5592064 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=293468 CPUtime=3.01 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 1833 0 0 0 300 1 0 0 18 0 5 0 988966994 300511232 12635 33554432000 4194304 5787044 140735612931728 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=293468 CPUtime=2.99 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 2329 0 0 0 299 0 0 0 18 0 5 0 988966996 300511232 12635 33554432000 4194304 5787044 140735612931728 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 302168

[startup+6.30061 s]
/proc/loadavg: 3.94 2.62 2.00 5/176 411
/proc/meminfo: memFree=10873912/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=293468 CPUtime=24.99 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 14902 0 0 0 2489 10 0 0 18 0 5 0 988966986 300511232 13046 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 73367 13046 405 389 0 69117 0
[pid=406/tid=408] ppid=405 vsize=293468 CPUtime=6.25 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 2559 0 0 0 624 1 0 0 18 0 5 0 988966990 300511232 13046 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=293468 CPUtime=6.22 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 2116 0 0 0 621 1 0 0 18 0 5 0 988966992 300511232 13046 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=293468 CPUtime=6.21 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 1854 0 0 0 620 1 0 0 18 0 5 0 988966994 300511232 13046 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=293468 CPUtime=6.19 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 2330 0 0 0 619 0 0 0 21 0 5 0 988966996 300511232 13046 33554432000 4194304 5787044 140735612931728 18446744073709551615 4359259 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 302168

[startup+12.7004 s]
/proc/loadavg: 3.95 2.64 2.01 5/176 411
/proc/meminfo: memFree=10867092/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=295472 CPUtime=50.57 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 16664 0 0 0 5045 12 0 0 18 0 5 0 988966986 302563328 14808 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 73868 14808 405 389 0 69618 0
[pid=406/tid=408] ppid=405 vsize=295472 CPUtime=12.65 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 3282 0 0 0 1263 2 0 0 19 0 5 0 988966990 302563328 14808 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=295472 CPUtime=12.62 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 2529 0 0 0 1259 3 0 0 18 0 5 0 988966992 302563328 14808 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591342 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=295472 CPUtime=12.6 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 2479 0 0 0 1259 1 0 0 19 0 5 0 988966994 302563328 14808 33554432000 4194304 5787044 140735612931728 18446744073709551615 5590991 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=295472 CPUtime=12.58 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 2331 0 0 0 1258 0 0 0 25 0 5 0 988966996 302563328 14808 33554432000 4194304 5787044 140735612931728 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 304172

[startup+25.5011 s]
/proc/loadavg: 3.96 2.71 2.04 5/176 411
/proc/meminfo: memFree=10845620/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=306888 CPUtime=101.73 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 23123 0 0 0 10153 20 0 0 18 0 5 0 988966986 314253312 20562 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 76722 20562 419 389 0 72472 0
[pid=406/tid=408] ppid=405 vsize=306888 CPUtime=25.44 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 3950 0 0 0 2542 2 0 0 19 0 5 0 988966990 314253312 20562 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591573 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=306888 CPUtime=25.38 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 3637 0 0 0 2533 5 0 0 17 0 5 0 988966992 314253312 20562 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=306888 CPUtime=25.39 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 3244 0 0 0 2536 3 0 0 18 0 5 0 988966994 314253312 20562 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=306888 CPUtime=25.39 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 6249 0 0 0 2536 3 0 0 17 0 5 0 988966996 314253312 20562 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 315588

[startup+51.1004 s]
/proc/loadavg: 3.97 2.81 2.10 5/176 412
/proc/meminfo: memFree=10826676/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=315212 CPUtime=204.09 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 27884 0 0 0 20383 26 0 0 18 0 5 0 988966986 322777088 25259 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 78803 25259 419 389 0 74553 0
[pid=406/tid=408] ppid=405 vsize=315212 CPUtime=51.04 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 4819 0 0 0 5100 4 0 0 18 0 5 0 988966990 322777088 25259 33554432000 4194304 5787044 140735612931728 18446744073709551615 5585283 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=315212 CPUtime=50.97 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 5398 0 0 0 5090 7 0 0 18 0 5 0 988966992 322777088 25259 33554432000 4194304 5787044 140735612931728 18446744073709551615 4213832 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=315212 CPUtime=50.99 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 3981 0 0 0 5094 5 0 0 18 0 5 0 988966994 322777088 25259 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=315212 CPUtime=50.97 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 7643 0 0 0 5093 4 0 0 25 0 5 0 988966996 322777088 25259 33554432000 4194304 5787044 140735612931728 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 323912

[startup+102.307 s]
/proc/loadavg: 3.99 2.99 2.19 5/176 413
/proc/meminfo: memFree=10791372/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=328844 CPUtime=408.9 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 36769 0 0 0 40852 38 0 0 18 0 5 0 988966986 336736256 33991 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 82211 33991 419 389 0 77961 0
[pid=406/tid=408] ppid=405 vsize=328844 CPUtime=102.24 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 7113 0 0 0 10219 5 0 0 18 0 5 0 988966990 336736256 33991 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=328844 CPUtime=102.15 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 7917 0 0 0 10206 9 0 0 18 0 5 0 988966992 336736256 33991 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=328844 CPUtime=102.19 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 5732 0 0 0 10211 8 0 0 18 0 5 0 988966994 336736256 33991 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=328844 CPUtime=102.18 cores=0-7

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

/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=820492 CPUtime=15288.3 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 164658 0 0 0 1528565 266 0 0 18 0 5 0 988966986 840183808 157060 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 205123 157060 419 389 0 200873 0
[pid=406/tid=408] ppid=405 vsize=820492 CPUtime=3822.29 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 39937 0 0 0 382180 49 0 0 25 0 5 0 988966990 840183808 157060 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=820492 CPUtime=3822.18 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 34640 0 0 0 382181 37 0 0 25 0 5 0 988966992 840183808 157060 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591587 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=820492 CPUtime=3822.26 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 47805 0 0 0 382104 122 0 0 25 0 5 0 988966994 840183808 157060 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=820492 CPUtime=3821.46 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 36233 0 0 0 382094 52 0 0 25 0 5 0 988966996 840183808 157060 33554432000 4194304 5787044 140735612931728 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15288.3
Current children cumulated vsize (KiB) 829192

[startup+3882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 536
/proc/meminfo: memFree=10290268/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=822672 CPUtime=15528.3 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 166075 0 0 0 1552562 270 0 0 18 0 5 0 988966986 842416128 158477 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 205668 158477 419 389 0 201418 0
[pid=406/tid=408] ppid=405 vsize=822672 CPUtime=3882.3 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 40427 0 0 0 388180 50 0 0 25 0 5 0 988966990 842416128 158477 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=822672 CPUtime=3882.18 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 34870 0 0 0 388180 38 0 0 25 0 5 0 988966992 842416128 158477 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=822672 CPUtime=3882.25 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 48501 0 0 0 388101 124 0 0 25 0 5 0 988966994 842416128 158477 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591730 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=822672 CPUtime=3881.46 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 36234 0 0 0 388094 52 0 0 25 0 5 0 988966996 842416128 158477 33554432000 4194304 5787044 140735612931728 18446744073709551615 5527037 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15528.3
Current children cumulated vsize (KiB) 831372

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

[startup+3884.7 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 536
/proc/meminfo: memFree=10289896/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=822672 CPUtime=15537.9 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 166127 0 0 0 1553522 270 0 0 18 0 5 0 988966986 842416128 158529 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 205668 158529 419 389 0 201418 0
[pid=406/tid=408] ppid=405 vsize=822672 CPUtime=3884.7 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 40445 0 0 0 388420 50 0 0 25 0 5 0 988966990 842416128 158529 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591833 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=822672 CPUtime=3884.58 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 34882 0 0 0 388420 38 0 0 25 0 5 0 988966992 842416128 158529 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=822672 CPUtime=3884.65 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 48523 0 0 0 388341 124 0 0 25 0 5 0 988966994 842416128 158529 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=822672 CPUtime=3883.86 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 36234 0 0 0 388334 52 0 0 25 0 5 0 988966996 842416128 158529 33554432000 4194304 5787044 140735612931728 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15537.9
Current children cumulated vsize (KiB) 831372

[startup+3891.1 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 536
/proc/meminfo: memFree=10289512/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=822804 CPUtime=15563.5 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 166288 0 0 0 1556082 271 0 0 18 0 5 0 988966986 842551296 158690 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 205701 158690 419 389 0 201451 0
[pid=406/tid=408] ppid=405 vsize=822804 CPUtime=3891.1 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 40500 0 0 0 389060 50 0 0 25 0 5 0 988966990 842551296 158690 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=822804 CPUtime=3890.98 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 34924 0 0 0 389060 38 0 0 25 0 5 0 988966992 842551296 158690 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=822804 CPUtime=3891.05 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 48587 0 0 0 388981 124 0 0 25 0 5 0 988966994 842551296 158690 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=822804 CPUtime=3890.26 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 36234 0 0 0 388974 52 0 0 25 0 5 0 988966996 842551296 158690 33554432000 4194304 5787044 140735612931728 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15563.5
Current children cumulated vsize (KiB) 831504

[startup+3894.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 536
/proc/meminfo: memFree=10289016/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=822936 CPUtime=15576.3 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 166375 0 0 0 1557361 271 0 0 18 0 5 0 988966986 842686464 158777 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 205734 158777 419 389 0 201484 0
[pid=406/tid=408] ppid=405 vsize=822936 CPUtime=3894.3 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 40541 0 0 0 389380 50 0 0 25 0 5 0 988966990 842686464 158777 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=822936 CPUtime=3894.18 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 34928 0 0 0 389380 38 0 0 25 0 5 0 988966992 842686464 158777 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=822936 CPUtime=3894.26 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 48629 0 0 0 389301 125 0 0 25 0 5 0 988966994 842686464 158777 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=822936 CPUtime=3893.46 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 36234 0 0 0 389294 52 0 0 25 0 5 0 988966996 842686464 158777 33554432000 4194304 5787044 140735612931728 18446744073709551615 5527696 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15576.3
Current children cumulated vsize (KiB) 831636

[startup+3895.9 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 536
/proc/meminfo: memFree=10289016/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=822936 CPUtime=15582.7 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 166416 0 0 0 1557998 272 0 0 18 0 5 0 988966986 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 205734 158818 431 389 0 201484 0
[pid=406/tid=408] ppid=405 vsize=822936 CPUtime=3895.9 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 40554 0 0 0 389540 50 0 0 25 0 5 0 988966990 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260020044888 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=822936 CPUtime=3895.78 cores=0-7
/proc/406/task/409/stat : 409 (priss) S 405 405 326 0 -1 4202560 34944 0 0 0 389539 39 0 0 17 0 5 0 988966992 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260020500974 0 0 4096 0 18446604447851143296 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=822936 CPUtime=3895.86 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 48641 0 0 0 389461 125 0 0 25 0 5 0 988966994 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=822936 CPUtime=3895.05 cores=0-7
/proc/406/task/411/stat : 411 (priss) S 405 405 326 0 -1 4202560 36234 0 0 0 389452 53 0 0 17 0 5 0 988966996 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260020500974 0 0 4096 0 18446604447851143296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15582.7
Current children cumulated vsize (KiB) 831636

[startup+3896.3 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 537
/proc/meminfo: memFree=10288892/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=822936 CPUtime=15584.1 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 166416 0 0 0 1558127 284 0 0 18 0 5 0 988966986 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 205734 158818 431 389 0 201484 0
[pid=406/tid=408] ppid=405 vsize=822936 CPUtime=3896.3 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 40554 0 0 0 389580 50 0 0 18 0 5 0 988966990 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=822936 CPUtime=3896.07 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 34944 0 0 0 389562 45 0 0 17 0 5 0 988966992 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032208120 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=822936 CPUtime=3896.26 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 48641 0 0 0 389501 125 0 0 18 0 5 0 988966994 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=822936 CPUtime=3895.37 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 36234 0 0 0 389478 59 0 0 17 0 5 0 988966996 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260020045004 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15584.1
Current children cumulated vsize (KiB) 831636

[startup+3896.5 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 537
/proc/meminfo: memFree=10288892/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=822936 CPUtime=15584.9 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 166416 0 0 0 1558194 295 0 0 18 0 5 0 988966986 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/406/statm: 205734 158818 431 389 0 201484 0
[pid=406/tid=408] ppid=405 vsize=822936 CPUtime=3896.5 cores=0-7
/proc/406/task/408/stat : 408 (priss) R 405 405 326 0 -1 4202560 40554 0 0 0 389600 50 0 0 18 0 5 0 988966990 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=406/tid=409] ppid=405 vsize=822936 CPUtime=3896.26 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 34944 0 0 0 389576 50 0 0 17 0 5 0 988966992 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=406/tid=410] ppid=405 vsize=822936 CPUtime=3896.46 cores=0-7
/proc/406/task/410/stat : 410 (priss) R 405 405 326 0 -1 4202560 48641 0 0 0 389521 125 0 0 18 0 5 0 988966994 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=406/tid=411] ppid=405 vsize=822936 CPUtime=3895.55 cores=0-7
/proc/406/task/411/stat : 411 (priss) R 405 405 326 0 -1 4202560 36234 0 0 0 389491 64 0 0 17 0 5 0 988966996 842686464 158818 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15584.9
Current children cumulated vsize (KiB) 831636

[startup+3896.6 s]
/proc/loadavg: 4.00 4.00 3.91 4/176 537
/proc/meminfo: memFree=10288892/32951124 swapFree=67056304/67111528
[pid=405] ppid=403 vsize=8700 CPUtime=0 cores=0-7
/proc/405/stat : 405 (priss.sh) S 403 405 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 988966986 8908800 251 33554432000 4194304 4922060 140737135488192 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/405/statm: 2175 251 211 178 0 68 0
[pid=406] ppid=405 vsize=804616 CPUtime=15585.2 cores=0-7
/proc/406/stat : 406 (priss) S 405 405 326 0 -1 4202496 166432 0 0 0 1558224 297 0 0 17 0 2 0 988966986 823926784 155736 33554432000 4194304 5787044 140735612931728 18446744073709551615 260032198629 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/406/statm: 201154 155736 447 389 0 196904 0
[pid=406/tid=409] ppid=405 vsize=804616 CPUtime=3896.35 cores=0-7
/proc/406/task/409/stat : 409 (priss) R 405 405 326 0 -1 4202560 34944 0 0 0 389585 50 0 0 17 0 2 0 988966992 823926784 155736 33554432000 4194304 5787044 140735612931728 18446744073709551615 260020044914 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 15585.2
Current children cumulated vsize (KiB) 813316

Child status: 20
Real time (s): 3896.66
CPU time (s): 15585.3
CPU user time (s): 15582.3
CPU system time (s): 3.01054
CPU usage (%): 399.965
Max. virtual memory (cumulated for all children) (KiB): 831636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15582.3
system time used= 3.01054
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166808
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= 42540
involuntary context switches= 26372

runsolver used 6.10507 second user time and 15.1337 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-13 19:49:24
IDJOB=3499161
IDBENCH=71150
IDSOLVER=1994
FILE ID=node110/3499161-1307987364
RUNJOBID= node110-1307987150-340
PBS_JOBID= 13559801
Free space on /var/tmp= 2880 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499161-1307987364/watcher-3499161-1307987364 -o /var/tmp/evaluation-result-3499161-1307987364/solver-3499161-1307987364 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499161-1307987364.cnf 1401288696 40000 31000 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= a5bb71bc1d85a401ce9f42ed1404d63e
RANDOM SEED=1401288696

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10924716 kB
Buffers:        112964 kB
Cached:       21171456 kB
SwapCached:       9184 kB
Active:        5788580 kB
Inactive:     15514900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10924716 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            3152 kB
Writeback:           0 kB
AnonPages:       16748 kB
Mapped:          12956 kB
Slab:           657724 kB
PageTables:       4212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185192 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 /var/tmp at the end= 2880 MiB
End job on node110 at 2011-06-13 20:54:21