Trace number 3273389

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 AutoSAT 2667.07 667.712

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
MD5SUM8e3c134eb643f2d9a45c884774c054a8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.19497
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses384
Sum of the clauses size960
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2320
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 564
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: 29866
0.00/0.00	c setup for 4cores
0.00/0.00	c parsetime: 160us
0.00/0.00	c parsed 384 clauses with 160 variables
0.00/0.00	c NW started thread 0 successfully (1115040064)
0.00/0.00	c NW started thread 1 successfully (1125529920)
0.00/0.00	c NW started thread 2 successfully (1136019776)
0.00/0.00	c NW started thread 3 successfully (1146509632)
0.00/0.54	c preprocessor returned 10039 variables
0.00/0.54	c preprocessing returned UNKNOWN
0.00/0.54	c PP set 0 variables
0.00/0.54	c pp time: 535707us (0s)
0.00/0.54	c preprocessor returned 10039 variables
0.00/0.54	c preprocessing returned UNKNOWN
0.00/0.54	c PP set 0 variables
0.00/0.54	c pp time: 535791us (0s)
0.00/0.54	c preprocessor returned 10039 variables
0.00/0.54	c preprocessing returned UNKNOWN
0.00/0.54	c PP set 0 variables
0.00/0.54	c pp time: 535916us (0s)
10.76/2.78	c preprocessor returned 30147 variables
10.76/2.78	c preprocessing returned UNKNOWN
10.76/2.78	c PP set 0 variables
10.76/2.78	c pp time: 2776490us (2s)
2666.66/667.61	c ====================
2666.66/667.61	c implication/decision 0.003331%(1.0042)
2666.66/667.61	c decisions:           947112
2666.66/667.61	c last level:          30021
2666.66/667.61	c conflicts:           632000
2666.66/667.61	c restarts:            4188
2666.66/667.61	c rejected_restarts    0
2666.66/667.61	c removals:            18
2666.66/667.61	c removed clauses:     422230
2666.66/667.61	c oft clauses:         0
2666.66/667.69	c solvetime: 664914027us (664s)
2666.66/667.69	c sended clauses   | 25051 | 25396 | 23980 | 24318 |
2666.66/667.69	c received clauses | 2 | 0 | 1 | 1 |
2666.66/667.69	c join all other threads
2666.66/667.70	c joined thread 0
2666.66/667.70	c joined thread 1
2666.66/667.70	c joined thread 2
2666.66/667.70	c joined thread 3
2666.66/667.70	c memory usage (vsize): 261 MB
2666.66/667.70	s SATISFIABLE
2666.66/667.70	c solutions: 1
2666.66/667.70	v 1 -2 -3 -4 5 6 7 -8 9 -10 11 12 13 -14 -15 16 -17 -18 19 -20 -21 22 23 -24 25 26 27 -28 29 30 31 -32 -33 -34 -35 36 -37 38 39 -40 41 -42 43 -44 45 -46 47 48 49 -50 51 52 53 54 -55 56 57 -58 -59 60 61 -62 -63 64 65 -66 67 -68 69 70 -71 72 73 -74 75 -76 -77 -78 79 -80 81 -82 -83 84 -85 -86 -87 -88 89 -90 -91 -92 -93 94 95 96 97 98 -99 100 101 -102 -103 104 -105 -106 -107 -108 109 110 111 112 -113 -114 -115 116 -117 118 -119 -120 -121 -122 123 124 -125 -126 -127 -128 -129 130 131 132 -133 -134 -135 136 137 -138 139 140 -141 -142 -143 -144 -145 -146 -147 148 -149 -150 151 -152 -153 -154 -155 156 -157 -158 159 160 0

Verifier Data 

OK

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-3273389-1304053904/watcher-3273389-1304053904 -o /tmp/evaluation-result-3273389-1304053904/solver-3273389-1304053904 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3273389-1304053904.cnf 1869666944 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 8.21 8.17 7.79 5/182 29865
/proc/meminfo: memFree=28364808/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0

[startup+0.132901 s]
/proc/loadavg: 8.21 8.17 7.79 5/182 29865
/proc/meminfo: memFree=28364808/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200888 s]
/proc/loadavg: 8.21 8.17 7.79 5/182 29865
/proc/meminfo: memFree=28364808/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30087 s]
/proc/loadavg: 8.21 8.17 7.79 5/182 29865
/proc/meminfo: memFree=28364808/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700798 s]
/proc/loadavg: 8.21 8.17 7.79 5/182 29865
/proc/meminfo: memFree=28364808/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50065 s]
/proc/loadavg: 8.21 8.17 7.79 9/188 29871
/proc/meminfo: memFree=28338968/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=213000 CPUtime=5.96 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 7735 0 0 0 595 1 0 0 25 0 5 0 516991109 218112000 6822 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 53250 6822 404 389 0 49000 0
[pid=29866/tid=29867] ppid=29865 vsize=213000 CPUtime=1.48 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 1454 0 0 0 148 0 0 0 20 0 5 0 516991110 218112000 6822 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=213000 CPUtime=1.48 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 1247 0 0 0 148 0 0 0 25 0 5 0 516991110 218112000 6822 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=213000 CPUtime=1.48 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 1606 0 0 0 148 0 0 0 25 0 5 0 516991110 218112000 6822 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591780 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=213000 CPUtime=1.49 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 1932 0 0 0 149 0 0 0 20 0 5 0 516991110 218112000 6822 33554432000 4194304 5787044 140736641706784 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 221700

[startup+3.10036 s]
/proc/loadavg: 8.19 8.17 7.79 9/188 29871
/proc/meminfo: memFree=28335372/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=216888 CPUtime=12.36 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 9955 0 0 0 1233 3 0 0 25 0 5 0 516991109 222093312 8335 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 54222 8335 418 389 0 49972 0
[pid=29866/tid=29867] ppid=29865 vsize=216888 CPUtime=3.08 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 1719 0 0 0 308 0 0 0 25 0 5 0 516991110 222093312 8335 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=216888 CPUtime=3.07 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 1503 0 0 0 307 0 0 0 25 0 5 0 516991110 222093312 8335 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=216888 CPUtime=3.08 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 1855 0 0 0 308 0 0 0 25 0 5 0 516991110 222093312 8335 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=216888 CPUtime=3.08 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 3382 0 0 0 308 0 0 0 25 0 5 0 516991110 222093312 8335 33554432000 4194304 5787044 140736641706784 18446744073709551615 5528383 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 225588

[startup+6.30078 s]
/proc/loadavg: 8.19 8.17 7.79 9/188 29871
/proc/meminfo: memFree=28324580/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=218704 CPUtime=25.13 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 11198 0 0 0 2510 3 0 0 25 0 5 0 516991109 223952896 9578 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 54676 9578 418 389 0 50426 0
[pid=29866/tid=29867] ppid=29865 vsize=218704 CPUtime=6.29 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 2040 0 0 0 628 1 0 0 25 0 5 0 516991110 223952896 9578 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=218704 CPUtime=6.25 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 1831 0 0 0 625 0 0 0 25 0 5 0 516991110 223952896 9578 33554432000 4194304 5787044 140736641706784 18446744073709551615 4736293 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=218704 CPUtime=6.29 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 2115 0 0 0 628 1 0 0 25 0 5 0 516991110 223952896 9578 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=218704 CPUtime=6.28 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 3716 0 0 0 628 0 0 0 25 0 5 0 516991110 223952896 9578 33554432000 4194304 5787044 140736641706784 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 227404

[startup+12.7006 s]
/proc/loadavg: 8.16 8.16 7.80 9/188 29871
/proc/meminfo: memFree=28307092/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=225628 CPUtime=50.69 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 13997 0 0 0 5064 5 0 0 25 0 5 0 516991109 231043072 12377 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 56407 12377 418 389 0 52157 0
[pid=29866/tid=29867] ppid=29865 vsize=225628 CPUtime=12.68 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 2517 0 0 0 1267 1 0 0 25 0 5 0 516991110 231043072 12377 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=225628 CPUtime=12.61 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 2285 0 0 0 1261 0 0 0 25 0 5 0 516991110 231043072 12377 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=225628 CPUtime=12.68 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 3575 0 0 0 1267 1 0 0 25 0 5 0 516991110 231043072 12377 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=225628 CPUtime=12.67 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 4124 0 0 0 1267 0 0 0 25 0 5 0 516991110 231043072 12377 33554432000 4194304 5787044 140736641706784 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 234328

[startup+25.5013 s]
/proc/loadavg: 8.14 8.16 7.80 9/188 29871
/proc/meminfo: memFree=28286124/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=228164 CPUtime=101.81 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 15961 0 0 0 10175 6 0 0 25 0 5 0 516991109 233639936 14341 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 57041 14341 418 389 0 52791 0
[pid=29866/tid=29867] ppid=29865 vsize=228164 CPUtime=25.49 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 2997 0 0 0 2547 2 0 0 25 0 5 0 516991110 233639936 14341 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=228164 CPUtime=25.35 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 2802 0 0 0 2534 1 0 0 25 0 5 0 516991110 233639936 14341 33554432000 4194304 5787044 140736641706784 18446744073709551615 4218848 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=228164 CPUtime=25.48 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 4033 0 0 0 2547 1 0 0 25 0 5 0 516991110 233639936 14341 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=228164 CPUtime=25.48 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 4633 0 0 0 2547 1 0 0 25 0 5 0 516991110 233639936 14341 33554432000 4194304 5787044 140736641706784 18446744073709551615 5527482 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 236864

[startup+51.1006 s]
/proc/loadavg: 8.15 8.16 7.81 9/188 29872
/proc/meminfo: memFree=28259556/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=231320 CPUtime=204.07 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 18552 0 0 0 20398 9 0 0 25 0 5 0 516991109 236871680 16930 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 57830 16930 418 389 0 53580 0
[pid=29866/tid=29867] ppid=29865 vsize=231320 CPUtime=51.09 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 3706 0 0 0 5106 3 0 0 25 0 5 0 516991110 236871680 16930 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=231320 CPUtime=50.8 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 3498 0 0 0 5079 1 0 0 25 0 5 0 516991110 236871680 16930 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933596796 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=231320 CPUtime=51.08 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 4675 0 0 0 5106 2 0 0 25 0 5 0 516991110 236871680 16930 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591808 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=231320 CPUtime=51.07 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 5177 0 0 0 5106 1 0 0 25 0 5 0 516991110 236871680 16930 33554432000 4194304 5787044 140736641706784 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 240020

[startup+102.301 s]
/proc/loadavg: 8.11 8.15 7.82 9/188 29874
/proc/meminfo: memFree=28209928/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=240408 CPUtime=408.6 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 22929 0 0 0 40848 12 0 0 25 0 5 0 516991109 246177792 21305 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 60102 21305 419 389 0 55852 0
[pid=29866/tid=29867] ppid=29865 vsize=240408 CPUtime=102.28 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 4731 0 0 0 10225 3 0 0 25 0 5 0 516991110 246177792 21305 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=240408 CPUtime=101.73 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 5349 0 0 0 10170 3 0 0 25 0 5 0 516991110 246177792 21305 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=240408 CPUtime=102.29 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 5483 0 0 0 10226 3 0 0 25 0 5 0 516991110 246177792 21305 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=240408 CPUtime=102.27 cores=0,2,4,6

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

[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=283908 CPUtime=2565.6 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 44494 0 0 0 256533 27 0 0 25 0 5 0 516991109 290721792 42589 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 70977 42589 419 389 0 66727 0
[pid=29866/tid=29867] ppid=29865 vsize=283908 CPUtime=642.29 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 10079 0 0 0 64221 8 0 0 25 0 5 0 516991110 290721792 42589 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=283908 CPUtime=638.79 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 11152 0 0 0 63872 7 0 0 25 0 5 0 516991110 290721792 42589 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=283908 CPUtime=642.29 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 11995 0 0 0 64222 7 0 0 25 0 5 0 516991110 290721792 42589 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=283908 CPUtime=642.2 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 9772 0 0 0 64216 4 0 0 25 0 5 0 516991110 290721792 42589 33554432000 4194304 5787044 140736641706784 18446744073709551615 5527392 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.6
Current children cumulated vsize (KiB) 292608

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

[startup+652.801 s]
/proc/loadavg: 8.00 8.02 7.89 9/188 29888
/proc/meminfo: memFree=27985244/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=284292 CPUtime=2607.55 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 44667 0 0 0 260727 28 0 0 25 0 5 0 516991109 291115008 42762 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 71073 42762 419 389 0 66823 0
[pid=29866/tid=29867] ppid=29865 vsize=284292 CPUtime=652.79 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 10138 0 0 0 65271 8 0 0 25 0 5 0 516991110 291115008 42762 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=284292 CPUtime=649.23 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 11241 0 0 0 64916 7 0 0 25 0 5 0 516991110 291115008 42762 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=284292 CPUtime=652.79 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 11998 0 0 0 65272 7 0 0 25 0 5 0 516991110 291115008 42762 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=284292 CPUtime=652.7 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 9794 0 0 0 65266 4 0 0 25 0 5 0 516991110 291115008 42762 33554432000 4194304 5787044 140736641706784 18446744073709551615 5527037 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2607.55
Current children cumulated vsize (KiB) 292992

[startup+659.2 s]
/proc/loadavg: 8.00 8.02 7.89 9/188 29888
/proc/meminfo: memFree=27984992/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=284292 CPUtime=2633.11 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 44698 0 0 0 263283 28 0 0 25 0 5 0 516991109 291115008 42793 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 71073 42793 419 389 0 66823 0
[pid=29866/tid=29867] ppid=29865 vsize=284292 CPUtime=659.19 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 10147 0 0 0 65911 8 0 0 25 0 5 0 516991110 291115008 42793 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=284292 CPUtime=655.6 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 11247 0 0 0 65553 7 0 0 25 0 5 0 516991110 291115008 42793 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=284292 CPUtime=659.19 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 12010 0 0 0 65912 7 0 0 25 0 5 0 516991110 291115008 42793 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591239 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=284292 CPUtime=659.1 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 9798 0 0 0 65906 4 0 0 25 0 5 0 516991110 291115008 42793 33554432000 4194304 5787044 140736641706784 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2633.11
Current children cumulated vsize (KiB) 292992

[startup+662.401 s]
/proc/loadavg: 8.00 8.02 7.89 9/188 29888
/proc/meminfo: memFree=27984868/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=284548 CPUtime=2645.89 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 44744 0 0 0 264561 28 0 0 25 0 5 0 516991109 291377152 42839 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 71137 42839 419 389 0 66887 0
[pid=29866/tid=29867] ppid=29865 vsize=284548 CPUtime=662.39 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 10174 0 0 0 66231 8 0 0 25 0 5 0 516991110 291377152 42839 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=284548 CPUtime=658.78 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 11254 0 0 0 65871 7 0 0 25 0 5 0 516991110 291377152 42839 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=284548 CPUtime=662.39 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 12020 0 0 0 66232 7 0 0 25 0 5 0 516991110 291377152 42839 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=284548 CPUtime=662.3 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 9800 0 0 0 66226 4 0 0 25 0 5 0 516991110 291377152 42839 33554432000 4194304 5787044 140736641706784 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2645.89
Current children cumulated vsize (KiB) 293248

[startup+665.607 s]
/proc/loadavg: 8.00 8.02 7.89 9/188 29888
/proc/meminfo: memFree=27984744/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=284548 CPUtime=2658.7 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 44830 0 0 0 265842 28 0 0 25 0 5 0 516991109 291377152 42925 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 71137 42925 419 389 0 66887 0
[pid=29866/tid=29867] ppid=29865 vsize=284548 CPUtime=665.6 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 10186 0 0 0 66552 8 0 0 25 0 5 0 516991110 291377152 42925 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=284548 CPUtime=661.96 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 11289 0 0 0 66189 7 0 0 25 0 5 0 516991110 291377152 42925 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=284548 CPUtime=665.6 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 12046 0 0 0 66553 7 0 0 25 0 5 0 516991110 291377152 42925 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=284548 CPUtime=665.5 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 9813 0 0 0 66546 4 0 0 25 0 5 0 516991110 291377152 42925 33554432000 4194304 5787044 140736641706784 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2658.7
Current children cumulated vsize (KiB) 293248

[startup+666.401 s]
/proc/loadavg: 8.00 8.02 7.89 9/188 29888
/proc/meminfo: memFree=27984744/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=284548 CPUtime=2661.87 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 44846 0 0 0 266159 28 0 0 25 0 5 0 516991109 291377152 42941 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 71137 42941 419 389 0 66887 0
[pid=29866/tid=29867] ppid=29865 vsize=284548 CPUtime=666.39 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 10187 0 0 0 66631 8 0 0 25 0 5 0 516991110 291377152 42941 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=284548 CPUtime=662.76 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 11301 0 0 0 66269 7 0 0 25 0 5 0 516991110 291377152 42941 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=284548 CPUtime=666.39 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 12048 0 0 0 66632 7 0 0 25 0 5 0 516991110 291377152 42941 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=284548 CPUtime=666.3 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 9814 0 0 0 66626 4 0 0 25 0 5 0 516991110 291377152 42941 33554432000 4194304 5787044 140736641706784 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2661.87
Current children cumulated vsize (KiB) 293248

[startup+667.201 s]
/proc/loadavg: 8.00 8.02 7.89 9/188 29888
/proc/meminfo: memFree=27984744/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=284740 CPUtime=2665.06 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 44872 0 0 0 266478 28 0 0 25 0 5 0 516991109 291573760 42967 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 71185 42967 419 389 0 66935 0
[pid=29866/tid=29867] ppid=29865 vsize=284740 CPUtime=667.19 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 10199 0 0 0 66711 8 0 0 25 0 5 0 516991110 291573760 42967 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=284740 CPUtime=663.55 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 11312 0 0 0 66348 7 0 0 25 0 5 0 516991110 291573760 42967 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=284740 CPUtime=667.19 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 12050 0 0 0 66712 7 0 0 25 0 5 0 516991110 291573760 42967 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=284740 CPUtime=667.1 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 9815 0 0 0 66706 4 0 0 25 0 5 0 516991110 291573760 42967 33554432000 4194304 5787044 140736641706784 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2665.06
Current children cumulated vsize (KiB) 293440

[startup+667.601 s]
/proc/loadavg: 8.00 8.02 7.89 9/188 29888
/proc/meminfo: memFree=27984744/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=284740 CPUtime=2666.66 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) S 29865 29865 27559 0 -1 4202496 44886 0 0 0 266638 28 0 0 25 0 5 0 516991109 291573760 42981 33554432000 4194304 5787044 140736641706784 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 71185 42981 419 389 0 66935 0
[pid=29866/tid=29867] ppid=29865 vsize=284740 CPUtime=667.59 cores=0,2,4,6
/proc/29866/task/29867/stat : 29867 (priss) R 29865 29865 27559 0 -1 4202560 10206 0 0 0 66751 8 0 0 25 0 5 0 516991110 291573760 42981 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29866/tid=29868] ppid=29865 vsize=284740 CPUtime=663.95 cores=0,2,4,6
/proc/29866/task/29868/stat : 29868 (priss) R 29865 29865 27559 0 -1 4202560 11314 0 0 0 66388 7 0 0 25 0 5 0 516991110 291573760 42981 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591539 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29866/tid=29869] ppid=29865 vsize=284740 CPUtime=667.59 cores=0,2,4,6
/proc/29866/task/29869/stat : 29869 (priss) R 29865 29865 27559 0 -1 4202560 12055 0 0 0 66752 7 0 0 25 0 5 0 516991110 291573760 42981 33554432000 4194304 5787044 140736641706784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29866/tid=29870] ppid=29865 vsize=284740 CPUtime=667.5 cores=0,2,4,6
/proc/29866/task/29870/stat : 29870 (priss) R 29865 29865 27559 0 -1 4202560 9815 0 0 0 66746 4 0 0 25 0 5 0 516991110 291573760 42981 33554432000 4194304 5787044 140736641706784 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2666.66
Current children cumulated vsize (KiB) 293440

[startup+667.701 s]
/proc/loadavg: 8.00 8.02 7.89 6/185 29888
/proc/meminfo: memFree=27988960/32951124 swapFree=67111356/67111528
[pid=29865] ppid=29863 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29865/stat : 29865 (prissAuto.sh) S 29863 29865 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516991109 8908800 251 33554432000 4194304 4922060 140737181096592 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29865/statm: 2175 251 211 178 0 68 0
[pid=29866] ppid=29865 vsize=0 CPUtime=2667.05 cores=0,2,4,6
/proc/29866/stat : 29866 (priss) R 29865 29865 27559 0 -1 4202500 44951 0 0 0 266676 29 0 0 17 0 1 0 516991109 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29866/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2667.05
Current children cumulated vsize (KiB) 8700

Child status: 10
Real time (s): 667.712
CPU time (s): 2667.07
CPU user time (s): 2666.77
CPU system time (s): 0.296954
CPU usage (%): 399.434
Max. virtual memory (cumulated for all children) (KiB): 293440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2666.77
system time used= 0.296954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45289
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= 1754
involuntary context switches= 12860

runsolver used 0.999848 second user time and 2.6486 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-29 07:11:44
IDJOB=3273389
IDBENCH=83138
IDSOLVER=1602
FILE ID=node109/3273389-1304053904
RUNJOBID= node109-1304051370-29598
PBS_JOBID= 13170356
Free space on /tmp= 72380 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n160-s40283905-sat.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3273389-1304053904/watcher-3273389-1304053904 -o /tmp/evaluation-result-3273389-1304053904/solver-3273389-1304053904 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3273389-1304053904.cnf 1869666944 4800 15500 4

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

MD5SUM BENCH= 8e3c134eb643f2d9a45c884774c054a8
RANDOM SEED=1869666944

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28364972 kB
Buffers:        879704 kB
Cached:        2840032 kB
SwapCached:        168 kB
Active:        1195744 kB
Inactive:      2965160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28364972 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            1596 kB
Writeback:           0 kB
AnonPages:      440568 kB
Mapped:          15628 kB
Slab:           360696 kB
PageTables:       5588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   639588 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= 72380 MiB
End job on node109 at 2011-04-29 07:22:51