Trace number 3288652

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 AutoUNSAT 3405.53 852.876

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_b_unsat.cnf
MD5SUM3dc443ddf213a09407d2a75925179735
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark113.98
Satisfiable
(Un)Satisfiability was proved
Number of variables26061
Number of clauses742909
Sum of the clauses size2791650
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 244599
Number of clauses of size 390788
Number of clauses of size 4607522
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 29620
0.00/0.00	c setup for 4cores
0.00/0.23	c parsetime: 231556us
0.00/0.23	c parsed 742909 clauses with 26061 variables
0.00/0.28	c NW started thread 0 successfully (1090722112)
0.00/0.33	c NW started thread 1 successfully (1101211968)
0.00/0.38	c NW started thread 2 successfully (1111701824)
0.00/0.44	c NW started thread 3 successfully (1122191680)
38.92/10.07	c preprocessor returned 26361 variables
38.92/10.07	c preprocessing returned UNKNOWN
38.92/10.07	c PP set 0 variables
38.92/10.07	c pp time: 9788935us (9s)
39.32/10.12	c preprocessor returned 26361 variables
39.32/10.12	c preprocessing returned UNKNOWN
39.32/10.12	c PP set 0 variables
39.32/10.12	c pp time: 9788626us (9s)
39.71/10.26	c preprocessor returned 26361 variables
39.71/10.26	c preprocessing returned UNKNOWN
39.71/10.26	c PP set 0 variables
39.71/10.26	c pp time: 9868985us (9s)
41.71/10.71	c preprocessor returned 30001 variables
41.71/10.71	c preprocessing returned UNKNOWN
41.71/10.71	c PP set 0 variables
41.71/10.71	c pp time: 10262283us (10s)
2342.14/586.61	c added unsatisfied clause
2342.14/586.61	c failed to add network clauses
2628.15/658.24	c added unsatisfied clause
2628.15/658.24	c failed to add network clauses
3164.61/792.51	c added unsatisfied clause
3164.61/792.51	c failed to add network clauses
3388.71/848.61	c added unsatisfied clause
3388.71/848.61	c failed to add network clauses
3403.92/852.47	c ====================
3403.92/852.47	c implication/decision inf%(inf)
3403.92/852.47	c decisions:           1394731
3403.92/852.47	c last level:          0
3403.92/852.47	c conflicts:           1099921
3403.92/852.47	c restarts:            7295
3403.92/852.47	c rejected_restarts    0
3403.92/852.47	c removals:            20
3403.92/852.47	c removed clauses:     752901
3403.92/852.47	c oft clauses:         0
3403.92/852.47	c ====================
3403.92/852.48	c ====================
3404.32/852.51	c ====================
3405.35/852.80	c solvetime: 842094771us (842s)
3405.35/852.83	c sended clauses   | 61399 | 61665 | 46290 | 60629 |
3405.35/852.83	c received clauses | 30 | 56 | 71 | 53 |
3405.35/852.83	c join all other threads
3405.35/852.85	c joined thread 0
3405.35/852.85	c joined thread 1
3405.35/852.85	c joined thread 2
3405.35/852.85	c joined thread 3
3405.35/852.85	c memory usage (vsize): 650 MB
3405.35/852.85	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3288652-1304051370/watcher-3288652-1304051370 -o /tmp/evaluation-result-3288652-1304051370/solver-3288652-1304051370 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3288652-1304051370.cnf 683506094 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 2.09 3.13 3.23 2/178 29619
/proc/meminfo: memFree=28696436/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0

[startup+0.041712 s]
/proc/loadavg: 2.09 3.13 3.23 2/178 29619
/proc/meminfo: memFree=28696436/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100703 s]
/proc/loadavg: 2.09 3.13 3.23 2/178 29619
/proc/meminfo: memFree=28696436/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300702 s]
/proc/loadavg: 2.09 3.13 3.23 2/178 29619
/proc/meminfo: memFree=28696436/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700558 s]
/proc/loadavg: 2.09 3.13 3.23 2/178 29619
/proc/meminfo: memFree=28696436/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50041 s]
/proc/loadavg: 2.09 3.13 3.23 11/188 29629
/proc/meminfo: memFree=28263100/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=439120 CPUtime=4.96 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 67182 0 0 0 483 13 0 0 18 0 5 0 516737809 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 109780 61950 350 389 0 105530 0
[pid=29620/tid=29626] ppid=29619 vsize=439120 CPUtime=1.2 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 8919 0 0 0 119 1 0 0 19 0 5 0 516737837 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 18446744073699065949 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=439120 CPUtime=1.15 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 7671 0 0 0 114 1 0 0 19 0 5 0 516737842 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 18446744073699065949 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=439120 CPUtime=1.1 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 7318 0 0 0 108 2 0 0 19 0 5 0 516737847 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 4336696 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=439120 CPUtime=1.04 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 8478 0 0 0 103 1 0 0 19 0 5 0 516737853 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 18446744073699065939 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 447820

[startup+3.10112 s]
/proc/loadavg: 2.09 3.13 3.23 9/188 29629
/proc/meminfo: memFree=28261984/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=439120 CPUtime=11.36 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 67182 0 0 0 1123 13 0 0 18 0 5 0 516737809 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 109780 61950 350 389 0 105530 0
[pid=29620/tid=29626] ppid=29619 vsize=439120 CPUtime=2.8 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 8919 0 0 0 279 1 0 0 23 0 5 0 516737837 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 4336560 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=439120 CPUtime=2.75 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 7671 0 0 0 274 1 0 0 22 0 5 0 516737842 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=439120 CPUtime=2.69 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 7318 0 0 0 267 2 0 0 22 0 5 0 516737847 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 4336193 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=439120 CPUtime=2.64 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 8478 0 0 0 263 1 0 0 23 0 5 0 516737853 449658880 61950 33554432000 4194304 5787044 140735110850320 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 447820

[startup+6.30053 s]
/proc/loadavg: 2.64 3.22 3.26 9/188 29629
/proc/meminfo: memFree=28245848/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=450736 CPUtime=24.13 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 70090 0 0 0 2400 13 0 0 18 0 5 0 516737809 461553664 61954 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 112684 61954 350 389 0 108434 0
[pid=29620/tid=29626] ppid=29619 vsize=450736 CPUtime=6 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 9646 0 0 0 599 1 0 0 25 0 5 0 516737837 461553664 61954 33554432000 4194304 5787044 140735110850320 18446744073709551615 222921433243 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=450736 CPUtime=5.95 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 8398 0 0 0 594 1 0 0 25 0 5 0 516737842 461553664 61954 33554432000 4194304 5787044 140735110850320 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=450736 CPUtime=5.87 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 8045 0 0 0 585 2 0 0 25 0 5 0 516737847 461553664 61954 33554432000 4194304 5787044 140735110850320 18446744073709551615 222921474698 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=450736 CPUtime=5.84 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 9205 0 0 0 583 1 0 0 25 0 5 0 516737853 461553664 61954 33554432000 4194304 5787044 140735110850320 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.13
Current children cumulated vsize (KiB) 459436

[startup+12.7004 s]
/proc/loadavg: 3.07 3.30 3.28 9/188 29630
/proc/meminfo: memFree=28103664/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=504032 CPUtime=49.7 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 94028 0 0 0 4954 16 0 0 18 0 5 0 516737809 516128768 82005 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 126008 82005 418 389 0 121758 0
[pid=29620/tid=29626] ppid=29619 vsize=504032 CPUtime=12.4 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 15383 0 0 0 1238 2 0 0 25 0 5 0 516737837 516128768 82005 33554432000 4194304 5787044 140735110850320 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=504032 CPUtime=12.36 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 13444 0 0 0 1234 2 0 0 22 0 5 0 516737842 516128768 82005 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=504032 CPUtime=12.23 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 14541 0 0 0 1220 3 0 0 25 0 5 0 516737847 516128768 82005 33554432000 4194304 5787044 140735110850320 18446744073709551615 4229504 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=504032 CPUtime=12.24 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 15864 0 0 0 1222 2 0 0 25 0 5 0 516737853 516128768 82005 33554432000 4194304 5787044 140735110850320 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (KiB) 512732

[startup+25.501 s]
/proc/loadavg: 4.16 3.53 3.36 9/188 29630
/proc/meminfo: memFree=28089924/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=505588 CPUtime=100.83 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 95850 0 0 0 10064 19 0 0 18 0 5 0 516737809 517722112 83827 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 126397 83827 419 389 0 122147 0
[pid=29620/tid=29626] ppid=29619 vsize=505588 CPUtime=25.2 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 15743 0 0 0 2518 2 0 0 25 0 5 0 516737837 517722112 83827 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591298 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=505588 CPUtime=25.16 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 13897 0 0 0 2513 3 0 0 25 0 5 0 516737842 517722112 83827 33554432000 4194304 5787044 140735110850320 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=505588 CPUtime=24.97 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 15265 0 0 0 2492 5 0 0 25 0 5 0 516737847 517722112 83827 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=505588 CPUtime=25.04 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 16149 0 0 0 2502 2 0 0 25 0 5 0 516737853 517722112 83827 33554432000 4194304 5787044 140735110850320 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.83
Current children cumulated vsize (KiB) 514288

[startup+51.1003 s]
/proc/loadavg: 5.54 3.91 3.48 9/188 29630
/proc/meminfo: memFree=28069764/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=507752 CPUtime=203.08 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 98471 0 0 0 20285 23 0 0 18 0 5 0 516737809 519938048 86448 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 126938 86448 419 389 0 122688 0
[pid=29620/tid=29626] ppid=29619 vsize=507752 CPUtime=50.8 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 16342 0 0 0 5076 4 0 0 25 0 5 0 516737837 519938048 86448 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591298 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=507752 CPUtime=50.76 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 14601 0 0 0 5072 4 0 0 25 0 5 0 516737842 519938048 86448 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=507752 CPUtime=50.43 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 15902 0 0 0 5037 6 0 0 25 0 5 0 516737847 519938048 86448 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=507752 CPUtime=50.64 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 16830 0 0 0 5061 3 0 0 25 0 5 0 516737853 519938048 86448 33554432000 4194304 5787044 140735110850320 18446744073709551615 5524605 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.08
Current children cumulated vsize (KiB) 516452

[startup+102.307 s]
/proc/loadavg: 7.05 4.57 3.73 9/188 29632
/proc/meminfo: memFree=28032184/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=516620 CPUtime=407.63 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 103247 0 0 0 40734 29 0 0 18 0 5 0 516737809 529018880 91219 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 129155 91219 419 389 0 124905 0
[pid=29620/tid=29626] ppid=29619 vsize=516620 CPUtime=102 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 17671 0 0 0 10195 5 0 0 25 0 5 0 516737837 529018880 91219 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=516620 CPUtime=101.97 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 15462 0 0 0 10192 5 0 0 25 0 5 0 516737842 529018880 91219 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591280 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=516620 CPUtime=101.36 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 17753 0 0 0 10128 8 0 0 25 0 5 0 516737847 529018880 91219 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=516620 CPUtime=101.85 cores=1,3,5,7

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

[pid=29620/tid=29627] ppid=29619 vsize=708220 CPUtime=821.95 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 25758 0 0 0 82177 18 0 0 25 0 5 0 516737842 725217280 127821 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=708220 CPUtime=817.42 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 26738 0 0 0 81717 25 0 0 25 0 5 0 516737847 725217280 127821 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=708220 CPUtime=821.83 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 27841 0 0 0 82164 19 0 0 25 0 5 0 516737853 725217280 127821 33554432000 4194304 5787044 140735110850320 18446744073709551615 5527716 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.65
Current children cumulated vsize (KiB) 716920

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

[startup+831.9 s]
/proc/loadavg: 8.12 7.76 6.06 9/188 29651
/proc/meminfo: memFree=27732888/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=708220 CPUtime=3322 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 140946 0 0 0 332113 87 0 0 18 0 5 0 516737809 725217280 127894 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 177055 127894 419 389 0 172805 0
[pid=29620/tid=29626] ppid=29619 vsize=708220 CPUtime=831.6 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 25785 0 0 0 83142 18 0 0 25 0 5 0 516737837 725217280 127894 33554432000 4194304 5787044 140735110850320 18446744073709551615 5586597 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=708220 CPUtime=831.55 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 25770 0 0 0 83137 18 0 0 25 0 5 0 516737842 725217280 127894 33554432000 4194304 5787044 140735110850320 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=708220 CPUtime=826.97 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 26738 0 0 0 82672 25 0 0 25 0 5 0 516737847 725217280 127894 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=708220 CPUtime=831.43 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 27857 0 0 0 83124 19 0 0 25 0 5 0 516737853 725217280 127894 33554432000 4194304 5787044 140735110850320 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3322
Current children cumulated vsize (KiB) 716920

[startup+844.701 s]
/proc/loadavg: 8.10 7.77 6.08 9/188 29652
/proc/meminfo: memFree=27732388/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=708220 CPUtime=3373.16 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 141029 0 0 0 337229 87 0 0 18 0 5 0 516737809 725217280 127977 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 177055 127977 419 389 0 172805 0
[pid=29620/tid=29626] ppid=29619 vsize=708220 CPUtime=844.4 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 25823 0 0 0 84422 18 0 0 25 0 5 0 516737837 725217280 127977 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=708220 CPUtime=844.35 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 25783 0 0 0 84417 18 0 0 25 0 5 0 516737842 725217280 127977 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=708220 CPUtime=839.7 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 26738 0 0 0 83945 25 0 0 25 0 5 0 516737847 725217280 127977 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591241 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=708220 CPUtime=844.24 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 27889 0 0 0 84405 19 0 0 25 0 5 0 516737853 725217280 127977 33554432000 4194304 5787044 140735110850320 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3373.16
Current children cumulated vsize (KiB) 716920

[startup+847.901 s]
/proc/loadavg: 8.17 7.79 6.10 9/188 29652
/proc/meminfo: memFree=27732140/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=708220 CPUtime=3385.92 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 141047 0 0 0 338505 87 0 0 18 0 5 0 516737809 725217280 127995 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 177055 127995 419 389 0 172805 0
[pid=29620/tid=29626] ppid=29619 vsize=708220 CPUtime=847.6 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 25830 0 0 0 84742 18 0 0 25 0 5 0 516737837 725217280 127995 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=708220 CPUtime=847.55 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 25791 0 0 0 84737 18 0 0 25 0 5 0 516737842 725217280 127995 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591529 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=708220 CPUtime=842.88 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 26738 0 0 0 84263 25 0 0 25 0 5 0 516737847 725217280 127995 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=708220 CPUtime=847.43 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 27892 0 0 0 84724 19 0 0 25 0 5 0 516737853 725217280 127995 33554432000 4194304 5787044 140735110850320 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3385.92
Current children cumulated vsize (KiB) 716920

[startup+851.101 s]
/proc/loadavg: 8.16 7.79 6.11 9/188 29652
/proc/meminfo: memFree=27732136/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=708220 CPUtime=3398.71 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 141066 0 0 0 339784 87 0 0 18 0 5 0 516737809 725217280 128014 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 177055 128014 419 389 0 172805 0
[pid=29620/tid=29626] ppid=29619 vsize=708220 CPUtime=850.8 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 25832 0 0 0 85062 18 0 0 25 0 5 0 516737837 725217280 128014 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591764 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=708220 CPUtime=850.75 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 25792 0 0 0 85057 18 0 0 25 0 5 0 516737842 725217280 128014 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=708220 CPUtime=846.07 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 26738 0 0 0 84582 25 0 0 25 0 5 0 516737847 725217280 128014 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=708220 CPUtime=850.63 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 27908 0 0 0 85044 19 0 0 25 0 5 0 516737853 725217280 128014 33554432000 4194304 5787044 140735110850320 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3398.71
Current children cumulated vsize (KiB) 716920

[startup+851.901 s]
/proc/loadavg: 8.16 7.79 6.11 9/188 29652
/proc/meminfo: memFree=27732136/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=708220 CPUtime=3401.9 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 141069 0 0 0 340103 87 0 0 18 0 5 0 516737809 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 177055 128017 419 389 0 172805 0
[pid=29620/tid=29626] ppid=29619 vsize=708220 CPUtime=851.6 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 25832 0 0 0 85142 18 0 0 25 0 5 0 516737837 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=708220 CPUtime=851.55 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 25792 0 0 0 85137 18 0 0 25 0 5 0 516737842 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591280 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=708220 CPUtime=846.86 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 26738 0 0 0 84661 25 0 0 25 0 5 0 516737847 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=708220 CPUtime=851.43 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 27911 0 0 0 85124 19 0 0 25 0 5 0 516737853 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3401.9
Current children cumulated vsize (KiB) 716920

[startup+852.301 s]
/proc/loadavg: 8.16 7.79 6.11 9/188 29652
/proc/meminfo: memFree=27732136/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=708220 CPUtime=3403.5 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 141069 0 0 0 340263 87 0 0 18 0 5 0 516737809 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 177055 128017 419 389 0 172805 0
[pid=29620/tid=29626] ppid=29619 vsize=708220 CPUtime=852 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 25832 0 0 0 85182 18 0 0 25 0 5 0 516737837 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=708220 CPUtime=851.95 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 25792 0 0 0 85177 18 0 0 25 0 5 0 516737842 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=708220 CPUtime=847.26 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 26738 0 0 0 84701 25 0 0 25 0 5 0 516737847 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=708220 CPUtime=851.83 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 27911 0 0 0 85164 19 0 0 25 0 5 0 516737853 725217280 128017 33554432000 4194304 5787044 140735110850320 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3403.5
Current children cumulated vsize (KiB) 716920

[startup+852.701 s]
/proc/loadavg: 8.16 7.79 6.11 9/188 29652
/proc/meminfo: memFree=27732136/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=708220 CPUtime=3405.07 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 141081 0 0 0 340357 150 0 0 18 0 5 0 516737809 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 177055 128029 431 389 0 172805 0
[pid=29620/tid=29626] ppid=29619 vsize=708220 CPUtime=852.4 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) R 29619 29619 27559 0 -1 4202560 25832 0 0 0 85206 34 0 0 18 0 5 0 516737837 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933602997 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=708220 CPUtime=852.34 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) R 29619 29619 27559 0 -1 4202560 25792 0 0 0 85199 35 0 0 18 0 5 0 516737842 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933602997 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=708220 CPUtime=847.65 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) R 29619 29619 27559 0 -1 4202560 26738 0 0 0 84726 39 0 0 18 0 5 0 516737847 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933602676 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=708220 CPUtime=852.22 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 27923 0 0 0 85187 35 0 0 18 0 5 0 516737853 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933602676 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3405.07
Current children cumulated vsize (KiB) 716920

[startup+852.801 s]
/proc/loadavg: 8.16 7.79 6.11 9/188 29652
/proc/meminfo: memFree=27732136/32951124 swapFree=67111356/67111528
[pid=29619] ppid=29617 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/29619/stat : 29619 (prissAuto.sh) S 29617 29619 27559 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 516737809 8908800 252 33554432000 4194304 4922060 140735484434544 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29619/statm: 2175 252 211 178 0 68 0
[pid=29620] ppid=29619 vsize=708220 CPUtime=3405.35 cores=1,3,5,7
/proc/29620/stat : 29620 (priss) S 29619 29619 27559 0 -1 4202496 141081 0 0 0 340373 162 0 0 18 0 5 0 516737809 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29620/statm: 177055 128029 431 389 0 172805 0
[pid=29620/tid=29626] ppid=29619 vsize=708220 CPUtime=852.42 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (priss) S 29619 29619 27559 0 -1 4202560 25832 0 0 0 85206 36 0 0 17 0 5 0 516737837 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222921882094 0 0 4096 0 18446604454947336384 0 0 -1 5 0 0 0
[pid=29620/tid=29627] ppid=29619 vsize=708220 CPUtime=852.42 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (priss) S 29619 29619 27559 0 -1 4202560 25792 0 0 0 85204 38 0 0 18 0 5 0 516737842 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222921882094 0 0 4096 0 18446604454947336384 0 0 -1 1 0 0 0
[pid=29620/tid=29628] ppid=29619 vsize=708220 CPUtime=847.73 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (priss) S 29619 29619 27559 0 -1 4202560 26738 0 0 0 84731 42 0 0 18 0 5 0 516737847 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222921882094 0 0 4096 0 18446604454947336384 0 0 -1 7 0 0 0
[pid=29620/tid=29629] ppid=29619 vsize=708220 CPUtime=852.31 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (priss) R 29619 29619 27559 0 -1 4202560 27923 0 0 0 85193 38 0 0 17 0 5 0 516737853 725217280 128029 33554432000 4194304 5787044 140735110850320 18446744073709551615 222921426508 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3405.35
Current children cumulated vsize (KiB) 716920

Child status: 20
Real time (s): 852.876
CPU time (s): 3405.53
CPU user time (s): 3403.84
CPU system time (s): 1.68674
CPU usage (%): 399.3
Max. virtual memory (cumulated for all children) (KiB): 716920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3403.84
system time used= 1.68674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141439
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= 48166
involuntary context switches= 23082

runsolver used 1.07684 second user time and 3.57945 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-29 06:29:31
IDJOB=3288652
IDBENCH=82501
IDSOLVER=1602
FILE ID=node109/3288652-1304051370
RUNJOBID= node109-1304051370-29599
PBS_JOBID= 13170356
Free space on /tmp= 72352 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT11/application/manthey/traffic/traffic_b_unsat.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288652-1304051370/watcher-3288652-1304051370 -o /tmp/evaluation-result-3288652-1304051370/solver-3288652-1304051370 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3288652-1304051370.cnf 683506094 4800 15500 4

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

MD5SUM BENCH= 3dc443ddf213a09407d2a75925179735
RANDOM SEED=683506094

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:      28696468 kB
Buffers:        877816 kB
Cached:        2866832 kB
SwapCached:        168 kB
Active:         867108 kB
Inactive:      2961272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28696468 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           34220 kB
Writeback:           0 kB
AnonPages:       83072 kB
Mapped:          14892 kB
Slab:           361760 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   227704 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= 72352 MiB
End job on node109 at 2011-04-29 06:43:44