Trace number 3282948

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 2033.75 509.686

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
MD5SUMeb4d0d02a25a8a84182ddd3b6d1fa8b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark84.3072
Satisfiable
(Un)Satisfiability was proved
Number of variables33090
Number of clauses165828
Sum of the clauses size478271
Maximum clause length9
Minimum clause length1
Number of clauses of size 14268
Number of clauses of size 241089
Number of clauses of size 397665
Number of clauses of size 415752
Number of clauses of size 56916
Number of clauses of size over 5138

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: 29327
0.00/0.00	c setup for 4cores
0.00/0.05	c parsetime: 50392us
0.00/0.05	c parsed 165828 clauses with 33090 variables
0.00/0.06	c NW started thread 0 successfully (1092864320)
0.00/0.07	c NW started thread 1 successfully (1103354176)
0.00/0.09	c NW started thread 2 successfully (1113844032)
0.00/0.11	c NW started thread 3 successfully (1124333888)
0.00/0.84	c preprocessor returned 33090 variables
0.00/0.84	c preprocessing returned UNKNOWN
0.00/0.84	c PP set 5075 variables
0.00/0.84	c pp time: 765859us (0s)
0.00/0.85	c preprocessor returned 33090 variables
0.00/0.85	c preprocessing returned UNKNOWN
0.00/0.85	c PP set 5075 variables
0.00/0.85	c pp time: 764289us (0s)
0.00/0.85	c preprocessor returned 33090 variables
0.00/0.85	c preprocessing returned UNKNOWN
0.00/0.85	c PP set 5075 variables
0.00/0.85	c pp time: 753421us (0s)
6.93/1.88	c preprocessor returned 35090 variables
6.93/1.88	c preprocessing returned UNKNOWN
6.93/1.88	c PP set 5075 variables
6.93/1.88	c pp time: 1754975us (1s)
7.33/1.94	c HTE
7.33/1.97	c subsumption
7.73/2.01	c simplified formula contains 0 unit clauses
1011.08/253.28	c added unsatisfied clause
1011.08/253.28	c failed to add network clauses
1369.77/343.06	c added unsatisfied clause
1369.77/343.06	c failed to add network clauses
1625.41/407.00	c added unsatisfied clause
1625.41/407.00	c failed to add network clauses
1628.60/407.87	c added unsatisfied clause
1628.60/407.87	c failed to add network clauses
1696.50/424.83	c added unsatisfied clause
1696.50/424.83	c failed to add network clauses
1782.78/446.49	c added unsatisfied clause
1782.78/446.49	c failed to add network clauses
1834.71/459.43	c added unsatisfied clause
1834.71/459.43	c failed to add network clauses
1877.36/470.13	c added unsatisfied clause
1877.36/470.13	c failed to add network clauses
1882.88/471.52	c added unsatisfied clause
1882.88/471.52	c failed to add network clauses
1937.06/485.46	c added unsatisfied clause
1937.06/485.46	c failed to add network clauses
1987.79/498.12	c added unsatisfied clause
1987.79/498.12	c failed to add network clauses
2019.35/506.01	c added unsatisfied clause
2019.35/506.01	c failed to add network clauses
2023.34/507.01	c received clause contains eliminated literal -41
2024.94/507.40	c added unsatisfied clause
2024.94/507.40	c failed to add network clauses
2030.53/508.85	c added unsatisfied clause
2030.53/508.85	c failed to add network clauses
2030.93/508.97	c added unsatisfied clause
2030.93/508.97	c failed to add network clauses
2031.73/509.14	c added unsatisfied clause
2031.73/509.14	c failed to add network clauses
2032.13/509.23	c added unsatisfied clause
2032.13/509.23	c failed to add network clauses
2032.53/509.32	c ====================
2032.53/509.32	c implication/decision inf%(inf)
2032.53/509.32	c decisions:           1634671
2032.53/509.32	c last level:          0
2032.53/509.32	c conflicts:           1054408
2032.53/509.32	c restarts:            6989
2032.53/509.32	c rejected_restarts    0
2032.53/509.32	c removals:            20
2032.53/509.32	c removed clauses:     752523
2032.53/509.32	c oft clauses:         0
2032.53/509.32	c ====================
2032.53/509.34	c ====================
2032.53/509.34	c ====================
2033.26/509.55	c solvetime: 507673965us (507s)
2033.56/509.60	c sended clauses   | 44654 | 45633 | 41792 | 19067 |
2033.56/509.60	c received clauses | 152 | 171 | 100 | 137 |
2033.56/509.60	c join all other threads
2033.56/509.63	c joined thread 0
2033.56/509.66	c joined thread 1
2033.56/509.66	c joined thread 2
2033.56/509.66	c joined thread 3
2033.56/509.66	c memory usage (vsize): 442 MB
2033.56/509.66	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-3282948-1304042053/watcher-3282948-1304042053 -o /tmp/evaluation-result-3282948-1304042053/solver-3282948-1304042053 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3282948-1304042053.cnf 481226924 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 8.11 8.03 7.27 6/182 29326
/proc/meminfo: memFree=14888124/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0

[startup+0.0799761 s]
/proc/loadavg: 8.11 8.03 7.27 6/182 29326
/proc/meminfo: memFree=14888124/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100977 s]
/proc/loadavg: 8.11 8.03 7.27 6/182 29326
/proc/meminfo: memFree=14888124/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.322982 s]
/proc/loadavg: 8.11 8.03 7.27 6/182 29326
/proc/meminfo: memFree=14888124/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.859018 s]
/proc/loadavg: 8.11 8.03 7.27 6/182 29326
/proc/meminfo: memFree=14888124/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50072 s]
/proc/loadavg: 8.11 8.03 7.27 9/188 29332
/proc/meminfo: memFree=14758876/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=405204 CPUtime=5.75 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 38903 0 0 0 567 8 0 0 25 0 5 0 515804986 414928896 32594 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 101301 32594 405 389 0 97051 0
[pid=29327/tid=29329] ppid=29326 vsize=405204 CPUtime=1.42 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 8097 0 0 0 141 1 0 0 20 0 5 0 515804992 414928896 32594 33554432000 4194304 5787044 140734953254192 18446744073709551615 4254564 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=405204 CPUtime=1.41 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 8181 0 0 0 140 1 0 0 25 0 5 0 515804993 414928896 32594 33554432000 4194304 5787044 140734953254192 18446744073709551615 5586853 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=405204 CPUtime=1.39 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 6481 0 0 0 138 1 0 0 20 0 5 0 515804995 414928896 32594 33554432000 4194304 5787044 140734953254192 18446744073709551615 4221021 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=405204 CPUtime=1.37 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 7272 0 0 0 136 1 0 0 25 0 5 0 515804997 414928896 32594 33554432000 4194304 5787044 140734953254192 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 413904

[startup+3.10044 s]
/proc/loadavg: 8.10 8.02 7.27 9/188 29332
/proc/meminfo: memFree=14753172/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=405600 CPUtime=12.12 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 43228 0 0 0 1203 9 0 0 25 0 5 0 515804986 415334400 34008 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 101400 34008 419 389 0 97150 0
[pid=29327/tid=29329] ppid=29326 vsize=405600 CPUtime=3.02 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) S 29326 29326 27798 0 -1 4202560 8174 0 0 0 301 1 0 0 25 0 5 0 515804992 415334400 34008 33554432000 4194304 5787044 140734953254192 18446744073709551615 274474072558 0 0 4096 0 18446604440278878208 0 0 -1 0 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=405600 CPUtime=3.01 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) S 29326 29326 27798 0 -1 4202560 8258 0 0 0 300 1 0 0 25 0 5 0 515804993 415334400 34008 33554432000 4194304 5787044 140734953254192 18446744073709551615 274474072558 0 0 4096 0 18446604440278878208 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=405600 CPUtime=2.98 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 6663 0 0 0 296 2 0 0 25 0 5 0 515804995 415334400 34008 33554432000 4194304 5787044 140734953254192 18446744073709551615 274473369085 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=405600 CPUtime=2.97 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) S 29326 29326 27798 0 -1 4202560 11261 0 0 0 295 2 0 0 19 0 5 0 515804997 415334400 34008 33554432000 4194304 5787044 140734953254192 18446744073709551615 274474072558 0 0 4096 0 18446604440278878208 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 414300

[startup+6.30088 s]
/proc/loadavg: 8.10 8.02 7.27 10/188 29332
/proc/meminfo: memFree=14748708/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=406392 CPUtime=24.9 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 44530 0 0 0 2480 10 0 0 25 0 5 0 515804986 416145408 35310 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 101598 35310 419 389 0 97348 0
[pid=29327/tid=29329] ppid=29326 vsize=406392 CPUtime=6.22 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 8483 0 0 0 621 1 0 0 19 0 5 0 515804992 416145408 35310 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=406392 CPUtime=6.21 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 8596 0 0 0 620 1 0 0 25 0 5 0 515804993 416145408 35310 33554432000 4194304 5787044 140734953254192 18446744073709551615 5590336 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=406392 CPUtime=6.16 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 6898 0 0 0 614 2 0 0 25 0 5 0 515804995 416145408 35310 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=406392 CPUtime=6.17 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 11681 0 0 0 615 2 0 0 19 0 5 0 515804997 416145408 35310 33554432000 4194304 5787044 140734953254192 18446744073709551615 5521891 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 415092

[startup+12.7008 s]
/proc/loadavg: 8.09 8.02 7.28 9/188 29332
/proc/meminfo: memFree=14738980/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=409160 CPUtime=50.47 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 46439 0 0 0 5035 12 0 0 25 0 5 0 515804986 418979840 37219 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 102290 37219 419 389 0 98040 0
[pid=29327/tid=29329] ppid=29326 vsize=409160 CPUtime=12.62 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 8869 0 0 0 1260 2 0 0 25 0 5 0 515804992 418979840 37219 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=409160 CPUtime=12.61 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 9300 0 0 0 1259 2 0 0 25 0 5 0 515804993 418979840 37219 33554432000 4194304 5787044 140734953254192 18446744073709551615 5592111 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=409160 CPUtime=12.52 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 7379 0 0 0 1250 2 0 0 25 0 5 0 515804995 418979840 37219 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=409160 CPUtime=12.57 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 12019 0 0 0 1254 3 0 0 25 0 5 0 515804997 418979840 37219 33554432000 4194304 5787044 140734953254192 18446744073709551615 5534357 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 417860

[startup+25.5005 s]
/proc/loadavg: 8.07 8.02 7.29 9/188 29332
/proc/meminfo: memFree=14694708/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=421408 CPUtime=101.58 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 52347 0 0 0 10142 16 0 0 25 0 5 0 515804986 431521792 43123 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 105352 43123 419 389 0 101102 0
[pid=29327/tid=29329] ppid=29326 vsize=421408 CPUtime=25.42 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 11036 0 0 0 2539 3 0 0 25 0 5 0 515804992 431521792 43123 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=421408 CPUtime=25.4 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 11330 0 0 0 2538 2 0 0 25 0 5 0 515804993 431521792 43123 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=421408 CPUtime=25.25 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 8425 0 0 0 2521 4 0 0 25 0 5 0 515804995 431521792 43123 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591596 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=421408 CPUtime=25.37 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 12684 0 0 0 2533 4 0 0 25 0 5 0 515804997 431521792 43123 33554432000 4194304 5787044 140734953254192 18446744073709551615 5527755 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 430108

[startup+51.107 s]
/proc/loadavg: 8.05 8.02 7.30 9/188 29333
/proc/meminfo: memFree=14586504/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=427816 CPUtime=203.86 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 57075 0 0 0 20365 21 0 0 25 0 5 0 515804986 438083584 47828 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 106954 47828 419 389 0 102704 0
[pid=29327/tid=29329] ppid=29326 vsize=427816 CPUtime=51.02 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 12797 0 0 0 5098 4 0 0 25 0 5 0 515804992 438083584 47828 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=427816 CPUtime=51.01 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 12114 0 0 0 5098 3 0 0 25 0 5 0 515804993 438083584 47828 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=427816 CPUtime=50.71 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 9066 0 0 0 5066 5 0 0 25 0 5 0 515804995 438083584 47828 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=427816 CPUtime=50.97 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 14226 0 0 0 5091 6 0 0 25 0 5 0 515804997 438083584 47828 33554432000 4194304 5787044 140734953254192 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 436516

[startup+102.301 s]
/proc/loadavg: 8.02 8.02 7.34 9/188 29334
/proc/meminfo: memFree=14539368/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=443068 CPUtime=408.33 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 67516 0 0 0 40800 33 0 0 25 0 5 0 515804986 453701632 58137 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 110767 58137 419 389 0 106517 0
[pid=29327/tid=29329] ppid=29326 vsize=443068 CPUtime=102.21 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 15831 0 0 0 10212 9 0 0 25 0 5 0 515804992 453701632 58137 33554432000 4194304 5787044 140734953254192 18446744073709551615 4218750 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=443068 CPUtime=102.2 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 13793 0 0 0 10215 5 0 0 25 0 5 0 515804993 453701632 58137 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=443068 CPUtime=101.62 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 12898 0 0 0 10155 7 0 0 25 0 5 0 515804995 453701632 58137 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=443068 CPUtime=102.16 cores=0,2,4,6

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

[pid=29327/tid=29330] ppid=29326 vsize=477652 CPUtime=402.19 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 20760 0 0 0 40210 9 0 0 25 0 5 0 515804993 489115648 84954 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=477652 CPUtime=399.95 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 23040 0 0 0 39974 21 0 0 25 0 5 0 515804995 489115648 84954 33554432000 4194304 5787044 140734953254192 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=477652 CPUtime=402.15 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 22575 0 0 0 40199 16 0 0 25 0 5 0 515804997 489115648 84954 33554432000 4194304 5787044 140734953254192 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1606.65
Current children cumulated vsize (KiB) 486352

[startup+462.301 s]
/proc/loadavg: 8.07 8.06 7.56 9/188 29353
/proc/meminfo: memFree=13843988/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=478896 CPUtime=1846.29 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 95846 0 0 0 184566 63 0 0 25 0 5 0 515804986 490389504 85786 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 119724 85786 419 389 0 115474 0
[pid=29327/tid=29329] ppid=29326 vsize=478896 CPUtime=462.2 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 19961 0 0 0 46207 13 0 0 25 0 5 0 515804992 490389504 85786 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591564 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=478896 CPUtime=462.18 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 21059 0 0 0 46209 9 0 0 25 0 5 0 515804993 490389504 85786 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591666 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=478896 CPUtime=459.62 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 23044 0 0 0 45941 21 0 0 25 0 5 0 515804995 490389504 85786 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=478896 CPUtime=462.15 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 22910 0 0 0 46199 16 0 0 25 0 5 0 515804997 490389504 85786 33554432000 4194304 5787044 140734953254192 18446744073709551615 5527392 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1846.29
Current children cumulated vsize (KiB) 487596

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

[startup+486.8 s]
/proc/loadavg: 8.34 8.12 7.59 9/188 29820
/proc/meminfo: memFree=13739944/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=478896 CPUtime=1942.65 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 95987 0 0 0 194201 64 0 0 25 0 5 0 515804986 490389504 85927 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 119724 85927 419 389 0 115474 0
[pid=29327/tid=29329] ppid=29326 vsize=478896 CPUtime=485.68 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 19964 0 0 0 48555 13 0 0 25 0 5 0 515804992 490389504 85927 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=478896 CPUtime=486.65 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 21191 0 0 0 48656 9 0 0 25 0 5 0 515804993 490389504 85927 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=478896 CPUtime=483.9 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 23049 0 0 0 48369 21 0 0 25 0 5 0 515804995 490389504 85927 33554432000 4194304 5787044 140734953254192 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=478896 CPUtime=486.27 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 22911 0 0 0 48610 17 0 0 25 0 5 0 515804997 490389504 85927 33554432000 4194304 5787044 140734953254192 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1942.65
Current children cumulated vsize (KiB) 487596

[startup+499.601 s]
/proc/loadavg: 8.27 8.11 7.60 9/188 29820
/proc/meminfo: memFree=13698076/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=478896 CPUtime=1993.78 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 96017 0 0 0 199314 64 0 0 25 0 5 0 515804986 490389504 85957 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 119724 85957 419 389 0 115474 0
[pid=29327/tid=29329] ppid=29326 vsize=478896 CPUtime=498.48 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 19964 0 0 0 49835 13 0 0 25 0 5 0 515804992 490389504 85957 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=478896 CPUtime=499.45 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 21203 0 0 0 49936 9 0 0 25 0 5 0 515804993 490389504 85957 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=478896 CPUtime=496.64 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 23065 0 0 0 49642 22 0 0 25 0 5 0 515804995 490389504 85957 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=478896 CPUtime=499.07 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 22913 0 0 0 49890 17 0 0 25 0 5 0 515804997 490389504 85957 33554432000 4194304 5787044 140734953254192 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1993.78
Current children cumulated vsize (KiB) 487596

[startup+506.001 s]
/proc/loadavg: 8.24 8.11 7.60 9/188 29820
/proc/meminfo: memFree=13673524/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=478896 CPUtime=2019.35 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 96032 0 0 0 201871 64 0 0 25 0 5 0 515804986 490389504 85972 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 119724 85972 419 389 0 115474 0
[pid=29327/tid=29329] ppid=29326 vsize=478896 CPUtime=504.88 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 19964 0 0 0 50475 13 0 0 25 0 5 0 515804992 490389504 85972 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=478896 CPUtime=505.85 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 21211 0 0 0 50576 9 0 0 25 0 5 0 515804993 490389504 85972 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=478896 CPUtime=503 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 23072 0 0 0 50278 22 0 0 25 0 5 0 515804995 490389504 85972 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=478896 CPUtime=505.47 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 22913 0 0 0 50530 17 0 0 25 0 5 0 515804997 490389504 85972 33554432000 4194304 5787044 140734953254192 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2019.35
Current children cumulated vsize (KiB) 487596

[startup+507.607 s]
/proc/loadavg: 8.22 8.11 7.60 9/188 29820
/proc/meminfo: memFree=13666228/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=478896 CPUtime=2025.76 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 96033 0 0 0 202512 64 0 0 25 0 5 0 515804986 490389504 85973 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 119724 85973 419 389 0 115474 0
[pid=29327/tid=29329] ppid=29326 vsize=478896 CPUtime=506.49 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 19964 0 0 0 50636 13 0 0 25 0 5 0 515804992 490389504 85973 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=478896 CPUtime=507.46 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 21211 0 0 0 50737 9 0 0 25 0 5 0 515804993 490389504 85973 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=478896 CPUtime=504.6 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 23073 0 0 0 50438 22 0 0 25 0 5 0 515804995 490389504 85973 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=478896 CPUtime=507.07 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 22913 0 0 0 50690 17 0 0 25 0 5 0 515804997 490389504 85973 33554432000 4194304 5787044 140734953254192 18446744073709551615 5527607 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2025.76
Current children cumulated vsize (KiB) 487596

[startup+508.401 s]
/proc/loadavg: 8.22 8.11 7.60 9/188 29820
/proc/meminfo: memFree=13666228/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=478896 CPUtime=2028.93 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 96034 0 0 0 202829 64 0 0 25 0 5 0 515804986 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 119724 85974 419 389 0 115474 0
[pid=29327/tid=29329] ppid=29326 vsize=478896 CPUtime=507.28 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 19964 0 0 0 50715 13 0 0 25 0 5 0 515804992 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=478896 CPUtime=508.25 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 21212 0 0 0 50816 9 0 0 25 0 5 0 515804993 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591312 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=478896 CPUtime=505.39 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 23073 0 0 0 50517 22 0 0 25 0 5 0 515804995 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=478896 CPUtime=507.87 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 22913 0 0 0 50770 17 0 0 25 0 5 0 515804997 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2028.93
Current children cumulated vsize (KiB) 487596

[startup+509.2 s]
/proc/loadavg: 8.22 8.11 7.60 9/188 29820
/proc/meminfo: memFree=13662012/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=478896 CPUtime=2032.13 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 96034 0 0 0 203149 64 0 0 25 0 5 0 515804986 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 119724 85974 419 389 0 115474 0
[pid=29327/tid=29329] ppid=29326 vsize=478896 CPUtime=508.08 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 19964 0 0 0 50795 13 0 0 25 0 5 0 515804992 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=478896 CPUtime=509.05 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 21212 0 0 0 50896 9 0 0 25 0 5 0 515804993 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=478896 CPUtime=506.19 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 23073 0 0 0 50597 22 0 0 25 0 5 0 515804995 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=478896 CPUtime=508.67 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 22913 0 0 0 50850 17 0 0 25 0 5 0 515804997 490389504 85974 33554432000 4194304 5787044 140734953254192 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2032.13
Current children cumulated vsize (KiB) 487596

[startup+509.6 s]
/proc/loadavg: 8.22 8.11 7.60 9/188 29820
/proc/meminfo: memFree=13662012/32950928 swapFree=67111528/67111528
[pid=29326] ppid=29324 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29326/stat : 29326 (prissAuto.sh) S 29324 29326 27798 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 515804985 8908800 251 33554432000 4194304 4922060 140734598613680 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29326/statm: 2175 251 211 178 0 68 0
[pid=29327] ppid=29326 vsize=478896 CPUtime=2033.56 cores=0,2,4,6
/proc/29327/stat : 29327 (priss) S 29326 29326 27798 0 -1 4202496 96046 0 0 0 203253 103 0 0 25 0 5 0 515804986 490389504 85772 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29327/statm: 119724 85772 431 389 0 115474 0
[pid=29327/tid=29329] ppid=29326 vsize=478896 CPUtime=508.43 cores=0,2,4,6
/proc/29327/task/29329/stat : 29329 (priss) R 29326 29326 27798 0 -1 4202560 19964 0 0 0 50820 23 0 0 17 0 5 0 515804992 490389504 85772 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485793461 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29327/tid=29330] ppid=29326 vsize=478896 CPUtime=509.39 cores=0,2,4,6
/proc/29327/task/29330/stat : 29330 (priss) R 29326 29326 27798 0 -1 4202560 21212 0 0 0 50919 20 0 0 17 0 5 0 515804993 490389504 85772 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485793461 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29327/tid=29331] ppid=29326 vsize=478896 CPUtime=506.54 cores=0,2,4,6
/proc/29327/task/29331/stat : 29331 (priss) R 29326 29326 27798 0 -1 4202560 23073 0 0 0 50622 32 0 0 17 0 5 0 515804995 490389504 85772 33554432000 4194304 5787044 140734953254192 18446744073709551615 274485793461 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29327/tid=29332] ppid=29326 vsize=478896 CPUtime=509.05 cores=0,2,4,6
/proc/29327/task/29332/stat : 29332 (priss) R 29326 29326 27798 0 -1 4202560 22925 0 0 0 50881 24 0 0 18 0 5 0 515804997 490389504 85772 33554432000 4194304 5787044 140734953254192 18446744073709551615 274474072607 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2033.56
Current children cumulated vsize (KiB) 487596

Child status: 20
Real time (s): 509.686
CPU time (s): 2033.75
CPU user time (s): 2032.61
CPU system time (s): 1.13483
CPU usage (%): 399.02
Max. virtual memory (cumulated for all children) (KiB): 487596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2032.61
system time used= 1.13483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96401
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= 33449
involuntary context switches= 17444

runsolver used 0.794879 second user time and 1.9987 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 03:54:13
IDJOB=3282948
IDBENCH=70941
IDSOLVER=1602
FILE ID=node125/3282948-1304042053
RUNJOBID= node125-1304040581-29099
PBS_JOBID= 13170327
Free space on /tmp= 72756 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282948-1304042053/watcher-3282948-1304042053 -o /tmp/evaluation-result-3282948-1304042053/solver-3282948-1304042053 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3282948-1304042053.cnf 481226924 4800 15500 4

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

MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED=481226924

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14888404 kB
Buffers:       2217868 kB
Cached:       14976356 kB
SwapCached:          0 kB
Active:        9311088 kB
Inactive:      8220632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14888404 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4664 kB
Writeback:           0 kB
AnonPages:      336812 kB
Mapped:          15760 kB
Slab:           468400 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   524748 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= 72756 MiB
End job on node125 at 2011-04-29 04:02:43