Trace number 3288468

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 3550.05 889.076

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_f_unknown.cnf
MD5SUMf03ed12a281977a642336980ec847847
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark108.343
Satisfiable
(Un)Satisfiability was proved
Number of variables33320
Number of clauses763101
Sum of the clauses size2854525
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252598
Number of clauses of size 392683
Number of clauses of size 4617820
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: 2057
0.00/0.00	c setup for 4cores
0.00/0.23	c parsetime: 234061us
0.00/0.23	c parsed 763101 clauses with 33320 variables
0.00/0.28	c NW started thread 0 successfully (1111234880)
0.00/0.33	c NW started thread 1 successfully (1098197312)
0.00/0.38	c NW started thread 2 successfully (1121724736)
0.00/0.45	c NW started thread 3 successfully (1132214592)
39.70/10.28	c preprocessor returned 33620 variables
39.70/10.28	c preprocessing returned UNKNOWN
39.70/10.28	c PP set 0 variables
39.70/10.28	c pp time: 9938987us (9s)
39.70/10.29	c preprocessor returned 35320 variables
39.70/10.29	c preprocessing returned UNKNOWN
39.70/10.29	c PP set 0 variables
39.70/10.29	c pp time: 9837096us (9s)
40.10/10.32	c preprocessor returned 33620 variables
40.10/10.32	c preprocessing returned UNKNOWN
40.10/10.32	c PP set 0 variables
40.10/10.32	c pp time: 10028104us (10s)
40.10/10.33	c preprocessor returned 33620 variables
40.10/10.33	c preprocessing returned UNKNOWN
40.10/10.33	c PP set 0 variables
40.10/10.33	c pp time: 9932447us (9s)
2775.88/695.23	c added unsatisfied clause
2775.88/695.23	c failed to add network clauses
3235.25/810.26	c added unsatisfied clause
3235.25/810.26	c failed to add network clauses
3313.14/829.71	c added unsatisfied clause
3313.14/829.71	c failed to add network clauses
3475.71/870.40	c added unsatisfied clause
3475.71/870.40	c failed to add network clauses
3521.65/881.95	c added unsatisfied clause
3521.65/881.95	c failed to add network clauses
3534.84/885.26	c added unsatisfied clause
3534.84/885.26	c failed to add network clauses
3540.43/886.61	c added unsatisfied clause
3540.43/886.61	c failed to add network clauses
3540.83/886.71	c added unsatisfied clause
3540.83/886.71	c failed to add network clauses
3546.43/888.14	c added unsatisfied clause
3546.43/888.14	c failed to add network clauses
3546.83/888.22	c added unsatisfied clause
3546.83/888.22	c failed to add network clauses
3548.42/888.65	c added unsatisfied clause
3548.42/888.65	c failed to add network clauses
3548.82/888.73	c ====================
3548.82/888.73	c implication/decision inf%(inf)
3548.82/888.73	c decisions:           1427007
3548.82/888.73	c last level:          0
3548.82/888.73	c conflicts:           1130532
3548.82/888.73	c restarts:            7498
3548.82/888.73	c rejected_restarts    0
3548.82/888.73	c removals:            20
3548.82/888.73	c removed clauses:     747858
3548.82/888.73	c oft clauses:         0
3548.82/888.73	c ====================
3548.82/888.78	c ====================
3549.59/888.99	c solvetime: 878672363us (878s)
3549.92/889.00	c sended clauses   | 62008 | 62082 | 46459 | 65277 |
3549.92/889.00	c received clauses | 51 | 57 | 73 | 57 |
3549.92/889.00	c join all other threads
3549.92/889.02	c joined thread 0
3549.92/889.03	c joined thread 1
3549.92/889.03	c joined thread 2
3549.92/889.05	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-3288468-1304050986/watcher-3288468-1304050986 -o /tmp/evaluation-result-3288468-1304050986/solver-3288468-1304050986 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3288468-1304050986.cnf 994670344 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 7.92 8.14 8.15 6/186 2056
/proc/meminfo: memFree=21851932/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0

[startup+0.033656 s]
/proc/loadavg: 7.92 8.14 8.15 6/186 2056
/proc/meminfo: memFree=21851932/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100648 s]
/proc/loadavg: 7.92 8.14 8.15 6/186 2056
/proc/meminfo: memFree=21851932/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30056 s]
/proc/loadavg: 7.92 8.14 8.15 6/186 2056
/proc/meminfo: memFree=21851932/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.29538 s]
/proc/loadavg: 7.92 8.14 8.15 6/186 2056
/proc/meminfo: memFree=21851932/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50034 s]
/proc/loadavg: 7.92 8.14 8.15 6/186 2056
/proc/meminfo: memFree=21851932/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.10104 s]
/proc/loadavg: 7.92 8.14 8.15 9/192 2063
/proc/meminfo: memFree=21584292/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=463412 CPUtime=11.34 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 72867 0 0 0 1119 15 0 0 18 0 5 0 516696487 474533888 66507 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 115853 66507 350 389 0 111603 0
[pid=2057/tid=2059] ppid=2056 vsize=463412 CPUtime=2.79 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 9743 0 0 0 277 2 0 0 23 0 5 0 516696515 474533888 66507 33554432000 4194304 5787044 140735328734288 18446744073709551615 18446744073699065894 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=463412 CPUtime=2.74 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 8847 0 0 0 273 1 0 0 23 0 5 0 516696520 474533888 66507 33554432000 4194304 5787044 140735328734288 18446744073709551615 18446744073699066094 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=463412 CPUtime=2.7 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 9234 0 0 0 267 3 0 0 22 0 5 0 516696525 474533888 66507 33554432000 4194304 5787044 140735328734288 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=463412 CPUtime=2.64 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 9122 0 0 0 262 2 0 0 22 0 5 0 516696532 474533888 66507 33554432000 4194304 5787044 140735328734288 18446744073709551615 18446744073699065939 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.34
Current children cumulated vsize (KiB) 472112

[startup+6.30045 s]
/proc/loadavg: 7.93 8.13 8.15 10/192 2063
/proc/meminfo: memFree=21579760/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=475332 CPUtime=24.11 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 75871 0 0 0 2396 15 0 0 18 0 5 0 516696487 486739968 66527 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 118833 66527 350 389 0 114583 0
[pid=2057/tid=2059] ppid=2056 vsize=475332 CPUtime=5.98 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 10494 0 0 0 596 2 0 0 25 0 5 0 516696515 486739968 66527 33554432000 4194304 5787044 140735328734288 18446744073709551615 18446744073699065939 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=475332 CPUtime=5.95 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 9598 0 0 0 593 2 0 0 25 0 5 0 516696520 486739968 66527 33554432000 4194304 5787044 140735328734288 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=475332 CPUtime=5.9 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 9985 0 0 0 587 3 0 0 25 0 5 0 516696525 486739968 66527 33554432000 4194304 5787044 140735328734288 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=475332 CPUtime=5.84 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 9873 0 0 0 582 2 0 0 25 0 5 0 516696532 486739968 66527 33554432000 4194304 5787044 140735328734288 18446744073709551615 18446744073699065939 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 484032

[startup+12.7013 s]
/proc/loadavg: 7.93 8.13 8.15 9/192 2063
/proc/meminfo: memFree=21494692/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=577088 CPUtime=49.69 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 101542 0 0 0 4948 21 0 0 18 0 5 0 516696487 590938112 87705 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 144272 87705 418 389 0 140022 0
[pid=2057/tid=2059] ppid=2056 vsize=577088 CPUtime=12.35 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 17039 0 0 0 1231 4 0 0 21 0 5 0 516696515 590938112 87705 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=577088 CPUtime=12.35 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 15975 0 0 0 1232 3 0 0 21 0 5 0 516696520 590938112 87705 33554432000 4194304 5787044 140735328734288 18446744073709551615 5586888 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=577088 CPUtime=12.3 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 16410 0 0 0 1226 4 0 0 21 0 5 0 516696525 590938112 87705 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=577088 CPUtime=12.24 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 16197 0 0 0 1221 3 0 0 21 0 5 0 516696532 590938112 87705 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527607 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (KiB) 585788

[startup+25.5009 s]
/proc/loadavg: 8.02 8.14 8.15 9/192 2063
/proc/meminfo: memFree=21482372/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=578316 CPUtime=100.81 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 103606 0 0 0 10056 25 0 0 18 0 5 0 516696487 592195584 89769 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 144579 89769 419 389 0 140329 0
[pid=2057/tid=2059] ppid=2056 vsize=578316 CPUtime=25.07 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 17543 0 0 0 2503 4 0 0 25 0 5 0 516696515 592195584 89769 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=578316 CPUtime=25.14 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 16541 0 0 0 2510 4 0 0 25 0 5 0 516696520 592195584 89769 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591488 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=578316 CPUtime=25.1 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 17079 0 0 0 2505 5 0 0 25 0 5 0 516696525 592195584 89769 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=578316 CPUtime=25.03 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 16522 0 0 0 2499 4 0 0 25 0 5 0 516696532 592195584 89769 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527122 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.81
Current children cumulated vsize (KiB) 587016

[startup+51.1012 s]
/proc/loadavg: 8.09 8.14 8.15 9/192 2064
/proc/meminfo: memFree=21470952/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=581116 CPUtime=203.07 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 106421 0 0 0 20276 31 0 0 18 0 5 0 516696487 595062784 92584 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 145279 92584 419 389 0 141029 0
[pid=2057/tid=2059] ppid=2056 vsize=581116 CPUtime=50.54 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 18450 0 0 0 5047 7 0 0 25 0 5 0 516696515 595062784 92584 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=581116 CPUtime=50.74 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 16942 0 0 0 5069 5 0 0 25 0 5 0 516696520 595062784 92584 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=581116 CPUtime=50.7 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 17734 0 0 0 5064 6 0 0 25 0 5 0 516696525 595062784 92584 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=581116 CPUtime=50.63 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 17374 0 0 0 5057 6 0 0 25 0 5 0 516696532 595062784 92584 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527199 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.07
Current children cumulated vsize (KiB) 589816

[startup+102.301 s]
/proc/loadavg: 8.16 8.15 8.16 9/192 2065
/proc/meminfo: memFree=21436588/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=588372 CPUtime=407.58 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 111228 0 0 0 40718 40 0 0 18 0 5 0 516696487 602492928 97387 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 147093 97387 419 389 0 142843 0
[pid=2057/tid=2059] ppid=2056 vsize=588372 CPUtime=101.51 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 19531 0 0 0 10142 9 0 0 25 0 5 0 516696515 602492928 97387 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591730 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=588372 CPUtime=101.87 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 19027 0 0 0 10180 7 0 0 25 0 5 0 516696520 602492928 97387 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=588372 CPUtime=101.89 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 18430 0 0 0 10182 7 0 0 25 0 5 0 516696525 602492928 97387 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=588372 CPUtime=101.83 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 18319 0 0 0 10174 9 0 0 25 0 5 0 516696532 602492928 97387 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527392 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.58
Current children cumulated vsize (KiB) 597072

[startup+162.301 s]
/proc/loadavg: 8.18 8.15 8.15 9/192 2067
/proc/meminfo: memFree=21403452/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=659292 CPUtime=647.26 cores=1,3,5,7

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

[pid=2057/tid=2060] ppid=2056 vsize=779408 CPUtime=698.54 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 27713 0 0 0 69832 22 0 0 25 0 5 0 516696520 798113792 134925 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=779408 CPUtime=701.89 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 28426 0 0 0 70165 24 0 0 25 0 5 0 516696525 798113792 134925 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=779408 CPUtime=701.85 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 31614 0 0 0 70160 25 0 0 25 0 5 0 516696532 798113792 134925 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2804.25
Current children cumulated vsize (KiB) 788108

[startup+762.3 s]
/proc/loadavg: 8.15 8.16 8.16 9/192 2083
/proc/meminfo: memFree=21164172/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=779408 CPUtime=3043.89 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 150597 0 0 0 304289 100 0 0 18 0 5 0 516696487 798113792 135898 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 194852 135898 419 389 0 190602 0
[pid=2057/tid=2059] ppid=2056 vsize=779408 CPUtime=761.39 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 25853 0 0 0 76118 21 0 0 25 0 5 0 516696515 798113792 135898 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=779408 CPUtime=758.32 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 28332 0 0 0 75808 24 0 0 25 0 5 0 516696520 798113792 135898 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=779408 CPUtime=761.87 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 28877 0 0 0 76163 24 0 0 25 0 5 0 516696525 798113792 135898 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591243 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=779408 CPUtime=761.85 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 31614 0 0 0 76160 25 0 0 25 0 5 0 516696532 798113792 135898 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3043.89
Current children cumulated vsize (KiB) 788108

[startup+822.301 s]
/proc/loadavg: 8.04 8.11 8.14 9/192 2116
/proc/meminfo: memFree=21436780/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=779408 CPUtime=3283.59 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 150736 0 0 0 328258 101 0 0 18 0 5 0 516696487 798113792 136037 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 194852 136037 419 389 0 190602 0
[pid=2057/tid=2059] ppid=2056 vsize=779408 CPUtime=821.06 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 25903 0 0 0 82085 21 0 0 25 0 5 0 516696515 798113792 136037 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591243 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=779408 CPUtime=818.33 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 28384 0 0 0 81809 24 0 0 25 0 5 0 516696520 798113792 136037 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=779408 CPUtime=821.88 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 28877 0 0 0 82164 24 0 0 25 0 5 0 516696525 798113792 136037 33554432000 4194304 5787044 140735328734288 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=779408 CPUtime=821.86 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 31651 0 0 0 82161 25 0 0 25 0 5 0 516696532 798113792 136037 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.59
Current children cumulated vsize (KiB) 788108

[startup+882.301 s]
/proc/loadavg: 8.18 8.15 8.15 9/192 2118
/proc/meminfo: memFree=21384060/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=779832 CPUtime=3523.25 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 151382 0 0 0 352224 101 0 0 18 0 5 0 516696487 798547968 136683 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 194958 136683 419 389 0 190708 0
[pid=2057/tid=2059] ppid=2056 vsize=779832 CPUtime=880.73 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 25999 0 0 0 88052 21 0 0 25 0 5 0 516696515 798547968 136683 33554432000 4194304 5787044 140735328734288 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=779832 CPUtime=878.33 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 28503 0 0 0 87809 24 0 0 25 0 5 0 516696520 798547968 136683 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=779832 CPUtime=881.88 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 29219 0 0 0 88163 25 0 0 25 0 5 0 516696525 798547968 136683 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=779832 CPUtime=881.85 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 31740 0 0 0 88160 25 0 0 25 0 5 0 516696532 798547968 136683 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.25
Current children cumulated vsize (KiB) 788532

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

[startup+883.801 s]
/proc/loadavg: 8.18 8.15 8.15 9/192 2118
/proc/meminfo: memFree=21383440/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=779832 CPUtime=3529.25 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 151428 0 0 0 352823 102 0 0 18 0 5 0 516696487 798547968 136729 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 194958 136729 419 389 0 190708 0
[pid=2057/tid=2059] ppid=2056 vsize=779832 CPUtime=882.23 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 26003 0 0 0 88202 21 0 0 25 0 5 0 516696515 798547968 136729 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=779832 CPUtime=879.83 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 28507 0 0 0 87959 24 0 0 25 0 5 0 516696520 798547968 136729 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=779832 CPUtime=883.38 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 29250 0 0 0 88313 25 0 0 25 0 5 0 516696525 798547968 136729 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=779832 CPUtime=883.35 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 31747 0 0 0 88310 25 0 0 25 0 5 0 516696532 798547968 136729 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3529.25
Current children cumulated vsize (KiB) 788532

[startup+887.001 s]
/proc/loadavg: 8.17 8.14 8.15 9/192 2118
/proc/meminfo: memFree=21383064/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=779968 CPUtime=3542.03 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 151495 0 0 0 354101 102 0 0 18 0 5 0 516696487 798687232 136796 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 194992 136796 419 389 0 190742 0
[pid=2057/tid=2059] ppid=2056 vsize=779968 CPUtime=885.41 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 26005 0 0 0 88520 21 0 0 25 0 5 0 516696515 798687232 136796 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=779968 CPUtime=883.03 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 28513 0 0 0 88279 24 0 0 25 0 5 0 516696520 798687232 136796 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=779968 CPUtime=886.58 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 29298 0 0 0 88633 25 0 0 25 0 5 0 516696525 798687232 136796 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=779968 CPUtime=886.55 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 31758 0 0 0 88630 25 0 0 25 0 5 0 516696532 798687232 136796 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3542.03
Current children cumulated vsize (KiB) 788668

[startup+887.801 s]
/proc/loadavg: 8.17 8.14 8.15 9/192 2118
/proc/meminfo: memFree=21382816/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=779968 CPUtime=3545.23 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 151510 0 0 0 354421 102 0 0 18 0 5 0 516696487 798687232 136811 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 194992 136811 419 389 0 190742 0
[pid=2057/tid=2059] ppid=2056 vsize=779968 CPUtime=886.2 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 26006 0 0 0 88599 21 0 0 25 0 5 0 516696515 798687232 136811 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591827 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=779968 CPUtime=883.83 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 28513 0 0 0 88359 24 0 0 25 0 5 0 516696520 798687232 136811 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591239 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=779968 CPUtime=887.38 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 29312 0 0 0 88713 25 0 0 25 0 5 0 516696525 798687232 136811 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591190 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=779968 CPUtime=887.35 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 31758 0 0 0 88710 25 0 0 25 0 5 0 516696532 798687232 136811 33554432000 4194304 5787044 140735328734288 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3545.23
Current children cumulated vsize (KiB) 788668

[startup+888.601 s]
/proc/loadavg: 8.17 8.14 8.15 9/192 2118
/proc/meminfo: memFree=21382692/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=779968 CPUtime=3548.42 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 151527 0 0 0 354740 102 0 0 18 0 5 0 516696487 798687232 136828 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 194992 136828 419 389 0 190742 0
[pid=2057/tid=2059] ppid=2056 vsize=779968 CPUtime=887 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 26006 0 0 0 88679 21 0 0 25 0 5 0 516696515 798687232 136828 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=779968 CPUtime=884.63 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 28515 0 0 0 88439 24 0 0 25 0 5 0 516696520 798687232 136828 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=779968 CPUtime=888.18 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 29325 0 0 0 88793 25 0 0 25 0 5 0 516696525 798687232 136828 33554432000 4194304 5787044 140735328734288 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=779968 CPUtime=888.15 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 31760 0 0 0 88790 25 0 0 25 0 5 0 516696532 798687232 136828 33554432000 4194304 5787044 140735328734288 18446744073709551615 5531400 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3548.42
Current children cumulated vsize (KiB) 788668

[startup+889.001 s]
/proc/loadavg: 8.17 8.14 8.15 9/192 2118
/proc/meminfo: memFree=21382692/32951124 swapFree=67111524/67111528
[pid=2056] ppid=2054 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/2056/stat : 2056 (prissAuto.sh) S 2054 2056 32466 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 516696486 8908800 252 33554432000 4194304 4922060 140734730926144 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2056/statm: 2175 252 211 178 0 68 0
[pid=2057] ppid=2056 vsize=775800 CPUtime=3549.92 cores=1,3,5,7
/proc/2057/stat : 2057 (priss) S 2056 2056 32466 0 -1 4202496 152463 0 0 0 354854 138 0 0 18 0 5 0 516696487 794419200 136829 33554432000 4194304 5787044 140735328734288 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/2057/statm: 193950 136829 431 389 0 189700 0
[pid=2057/tid=2059] ppid=2056 vsize=775800 CPUtime=887.37 cores=1,3,5,7
/proc/2057/task/2059/stat : 2059 (priss) R 2056 2056 32466 0 -1 4202560 26018 0 0 0 88703 34 0 0 17 0 5 0 516696515 794419200 136829 33554432000 4194304 5787044 140735328734288 18446744073709551615 255376956400 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=2057/tid=2060] ppid=2056 vsize=775800 CPUtime=884.98 cores=1,3,5,7
/proc/2057/task/2060/stat : 2060 (priss) R 2056 2056 32466 0 -1 4202560 28515 0 0 0 88463 35 0 0 17 0 5 0 516696520 794419200 136829 33554432000 4194304 5787044 140735328734288 18446744073709551615 255376957459 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2057/tid=2061] ppid=2056 vsize=775800 CPUtime=888.55 cores=1,3,5,7
/proc/2057/task/2061/stat : 2061 (priss) R 2056 2056 32466 0 -1 4202560 29327 0 0 0 88818 37 0 0 17 0 5 0 516696525 794419200 136829 33554432000 4194304 5787044 140735328734288 18446744073709551615 255376950476 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2057/tid=2062] ppid=2056 vsize=775800 CPUtime=888.55 cores=1,3,5,7
/proc/2057/task/2062/stat : 2062 (priss) R 2056 2056 32466 0 -1 4202560 32682 0 0 0 88830 25 0 0 25 0 5 0 516696532 794419200 136829 33554432000 4194304 5787044 140735328734288 18446744073709551615 4390876 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3549.92
Current children cumulated vsize (KiB) 784500

Child status: 20
Real time (s): 889.076
CPU time (s): 3550.05
CPU user time (s): 3548.63
CPU system time (s): 1.42178
CPU usage (%): 399.297
Max. virtual memory (cumulated for all children) (KiB): 788668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.63
system time used= 1.42178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153884
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= 17557
involuntary context switches= 22499

runsolver used 1.24481 second user time and 3.63045 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-29 06:23:06
IDJOB=3288468
IDBENCH=82497
IDSOLVER=1602
FILE ID=node135/3288468-1304050986
RUNJOBID= node135-1304038950-32485
PBS_JOBID= 13170376
Free space on /tmp= 71084 MiB

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

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

MD5SUM BENCH= f03ed12a281977a642336980ec847847
RANDOM SEED=994670344

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21852088 kB
Buffers:       1830704 kB
Cached:        8173908 kB
SwapCached:          4 kB
Active:        2926188 kB
Inactive:      7579888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21852088 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           20220 kB
Writeback:           0 kB
AnonPages:      500996 kB
Mapped:          15576 kB
Slab:           528900 kB
PageTables:       5860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   725448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71096 MiB
End job on node135 at 2011-04-29 06:37:55