Trace number 3281798

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 352.586 90.4571

General information on the benchmark

Namemanol-pipe-f7nidw.cnf
MD5SUMb950ebec64dc35544d8f8bf6957e7bc2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark27.7028
Satisfiable
(Un)Satisfiability was proved
Number of variables310434
Number of clauses923497
Sum of the clauses size2154825
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2615664
Number of clauses of size 3307832
Number of clauses of size 40
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: 15054
0.00/0.00	c setup for 4cores
0.00/0.26	c parsetime: 256047us
0.00/0.26	c parsed 923497 clauses with 310434 variables
0.00/0.31	c NW started thread 0 successfully (1106917696)
0.00/0.37	c NW started thread 1 successfully (1093581120)
0.00/0.43	c NW started thread 2 successfully (1117407552)
0.00/0.49	c NW started thread 3 successfully (1127897408)
51.11/13.45	c preprocessor returned 310434 variables
51.11/13.45	c preprocessing returned UNKNOWN
51.11/13.45	c PP set 8724 variables
51.11/13.45	c pp time: 13039987us (13s)
51.91/13.61	c preprocessor returned 310434 variables
51.91/13.61	c preprocessing returned UNKNOWN
51.91/13.61	c PP set 8724 variables
51.91/13.61	c pp time: 13151047us (13s)
52.31/13.70	c preprocessor returned 310434 variables
52.31/13.70	c preprocessing returned UNKNOWN
52.31/13.70	c PP set 8724 variables
52.31/13.70	c pp time: 13138236us (13s)
52.31/13.75	c preprocessor returned 310434 variables
52.31/13.75	c preprocessing returned UNKNOWN
52.31/13.75	c PP set 8724 variables
52.31/13.75	c pp time: 13223175us (13s)
55.10/14.42	c HTE
56.70/14.86	c subsumption
58.71/15.38	c simplified formula contains 0 unit clauses
61.10/15.93	c HTE
62.69/16.36	c subsumption
64.68/16.86	c simplified formula contains 0 unit clauses
76.70/19.85	c HTE
77.87/20.16	c subsumption
79.87/20.69	c simplified formula contains 0 unit clauses
90.65/23.31	c added unsatisfied clause
90.65/23.31	c failed to add network clauses
93.87/24.19	c HTE
95.04/24.49	c subsumption
97.45/25.03	c simplified formula contains 0 unit clauses
100.24/25.77	c HTE
101.84/26.10	c subsumption
103.43/26.56	c added unsatisfied clause
103.43/26.56	c failed to add network clauses
103.83/26.60	c simplified formula contains 0 unit clauses
103.83/26.65	c received clause contains eliminated literal -40653
105.43/27.06	c HTE
107.05/27.49	c subsumption
109.02/27.96	c simplified formula contains 0 unit clauses
111.84/28.67	c added unsatisfied clause
111.84/28.67	c failed to add network clauses
123.80/31.69	c HTE
125.39/32.00	c subsumption
126.99/32.47	c simplified formula contains 0 unit clauses
128.19/32.75	c added unsatisfied clause
128.19/32.75	c failed to add network clauses
183.72/46.62	c added unsatisfied clause
183.72/46.62	c failed to add network clauses
186.13/47.22	c added unsatisfied clause
186.13/47.22	c failed to add network clauses
192.90/48.97	c HTE
194.50/49.33	c subsumption
197.29/50.09	c simplified formula contains 0 unit clauses
199.31/50.52	c HTE
200.49/50.88	c subsumption
202.89/51.45	c simplified formula contains 0 unit clauses
205.28/52.05	c added unsatisfied clause
205.28/52.05	c failed to add network clauses
228.46/57.81	c HTE
229.26/58.09	c subsumption
231.65/58.65	c simplified formula contains 0 unit clauses
236.04/59.70	c received clause contains eliminated literal 59461
248.82/62.93	c added unsatisfied clause
248.82/62.93	c failed to add network clauses
284.76/71.94	c HTE
289.96/73.20	c subsumption
297.15/75.05	c simplified formula contains 0 unit clauses
342.67/86.43	c HTE
347.86/87.78	c ====================
347.86/87.78	c implication/decision inf%(inf)
347.86/87.78	c decisions:           2355705
347.86/87.78	c last level:          0
347.86/87.78	c conflicts:           238285
347.86/87.78	c restarts:            1581
347.86/87.78	c rejected_restarts    0
347.86/87.78	c removals:            15
347.86/87.78	c removed clauses:     174904
347.86/87.78	c oft clauses:         0
347.86/87.78	c ====================
348.26/87.86	c solvetime: 74113242us (74s)
350.45/88.43	c sended clauses   | 11784 | 12493 | 11964 | 13544 |
350.45/88.43	c received clauses | 368 | 357 | 314 | 238 |
350.45/88.43	c join all other threads
350.45/88.43	c joined thread 0
350.45/88.43	c joined thread 1
350.45/88.43	c joined thread 2
352.52/90.40	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-3281798-1304039886/watcher-3281798-1304039886 -o /tmp/evaluation-result-3281798-1304039886/solver-3281798-1304039886 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3281798-1304039886.cnf 1510690223 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: 3.75 3.99 4.10 1/171 15053
/proc/meminfo: memFree=16722484/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0

[startup+0.0517291 s]
/proc/loadavg: 3.75 3.99 4.10 1/171 15053
/proc/meminfo: memFree=16722484/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10072 s]
/proc/loadavg: 3.75 3.99 4.10 1/171 15053
/proc/meminfo: memFree=16722484/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300697 s]
/proc/loadavg: 3.75 3.99 4.10 1/171 15053
/proc/meminfo: memFree=16722484/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700605 s]
/proc/loadavg: 3.75 3.99 4.10 1/171 15053
/proc/meminfo: memFree=16722484/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50043 s]
/proc/loadavg: 3.75 3.99 4.10 2/177 15059
/proc/meminfo: memFree=15943840/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=987200 CPUtime=3.77 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 229959 0 0 0 311 66 0 0 18 0 5 0 594219262 1010892800 183272 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 246800 183280 348 389 0 242550 0
[pid=15054/tid=15056] ppid=15053 vsize=987200 CPUtime=0.96 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 51983 0 0 0 82 14 0 0 18 0 5 0 594219293 1010892800 183290 33554432000 4194304 5787044 140735402417760 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=987200 CPUtime=0.8 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) R 15053 15053 13969 0 -1 4202560 47664 0 0 0 64 16 0 0 18 0 5 0 594219299 1010892800 183303 33554432000 4194304 5787044 140735402417760 18446744073709551615 4329626 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=987200 CPUtime=0.76 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 45233 0 0 0 60 16 0 0 18 0 5 0 594219305 1010892800 183314 33554432000 4194304 5787044 140735402417760 18446744073709551615 260020045192 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=987200 CPUtime=0.74 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 44320 0 0 0 60 14 0 0 18 0 5 0 594219311 1010892800 183327 33554432000 4194304 5787044 140735402417760 18446744073709551615 260020050989 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 995900

[startup+3.10113 s]
/proc/loadavg: 3.75 3.99 4.10 5/177 15059
/proc/meminfo: memFree=16119488/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=826720 CPUtime=10.12 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 265074 0 0 0 910 102 0 0 18 0 5 0 594219262 846561280 167516 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 206680 167517 350 389 0 202430 0
[pid=15054/tid=15056] ppid=15053 vsize=826720 CPUtime=2.55 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 57830 0 0 0 232 23 0 0 18 0 5 0 594219293 846561280 167517 33554432000 4194304 5787044 140735402417760 18446744073709551615 4392011 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=826720 CPUtime=2.39 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) R 15053 15053 13969 0 -1 4202560 58630 0 0 0 213 26 0 0 18 0 5 0 594219299 846561280 167517 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=826720 CPUtime=2.35 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 53701 0 0 0 209 26 0 0 18 0 5 0 594219305 846561280 167517 33554432000 4194304 5787044 140735402417760 18446744073709551615 4341867 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=826720 CPUtime=2.32 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 54124 0 0 0 211 21 0 0 18 0 5 0 594219311 846561280 167517 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 835420

[startup+6.30055 s]
/proc/loadavg: 3.77 3.99 4.10 5/177 15059
/proc/meminfo: memFree=15936216/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1114784 CPUtime=22.76 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 304042 0 0 0 2113 163 0 0 18 0 5 0 594219262 1141538816 206484 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 278696 206484 351 389 0 274446 0
[pid=15054/tid=15056] ppid=15053 vsize=1114784 CPUtime=5.72 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 65640 0 0 0 538 34 0 0 20 0 5 0 594219293 1141538816 206484 33554432000 4194304 5787044 140735402417760 18446744073709551615 4345920 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=1114784 CPUtime=5.55 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) R 15053 15053 13969 0 -1 4202560 68404 0 0 0 513 42 0 0 18 0 5 0 594219299 1141538816 206484 33554432000 4194304 5787044 140735402417760 18446744073709551615 4276259 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=1114784 CPUtime=5.49 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 65923 0 0 0 508 41 0 0 18 0 5 0 594219305 1141538816 206484 33554432000 4194304 5787044 140735402417760 18446744073709551615 4278498 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=1114784 CPUtime=5.48 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 63285 0 0 0 509 39 0 0 18 0 5 0 594219311 1141538816 206484 33554432000 4194304 5787044 140735402417760 18446744073709551615 4278467 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.76
Current children cumulated vsize (KiB) 1123484

[startup+12.7004 s]
/proc/loadavg: 3.79 3.99 4.10 5/177 15059
/proc/meminfo: memFree=15895064/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1114916 CPUtime=48.32 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 304143 0 0 0 4669 163 0 0 18 0 5 0 594219262 1141673984 206585 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 278729 206585 352 389 0 274479 0
[pid=15054/tid=15056] ppid=15053 vsize=1114916 CPUtime=12.12 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 65665 0 0 0 1178 34 0 0 25 0 5 0 594219293 1141673984 206585 33554432000 4194304 5787044 140735402417760 18446744073709551615 18446744073699065904 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=1114916 CPUtime=11.95 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) R 15053 15053 13969 0 -1 4202560 68429 0 0 0 1153 42 0 0 25 0 5 0 594219299 1141673984 206585 33554432000 4194304 5787044 140735402417760 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=1114916 CPUtime=11.86 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 65949 0 0 0 1144 42 0 0 25 0 5 0 594219305 1141673984 206585 33554432000 4194304 5787044 140735402417760 18446744073709551615 18446744073699066094 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=1114916 CPUtime=11.88 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 63310 0 0 0 1149 39 0 0 25 0 5 0 594219311 1141673984 206585 33554432000 4194304 5787044 140735402417760 18446744073709551615 18446744073699065949 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.32
Current children cumulated vsize (KiB) 1123616

[startup+25.501 s]
/proc/loadavg: 3.83 3.99 4.09 5/177 15059
/proc/meminfo: memFree=15597536/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1381620 CPUtime=99.44 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 396805 0 0 0 9766 178 0 0 18 0 5 0 594219262 1414778880 280747 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 345405 280747 418 389 0 341155 0
[pid=15054/tid=15056] ppid=15053 vsize=1381620 CPUtime=24.92 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 80715 0 0 0 2455 37 0 0 25 0 5 0 594219293 1414778880 280747 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591068 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=1381620 CPUtime=24.75 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) R 15053 15053 13969 0 -1 4202560 84324 0 0 0 2430 45 0 0 25 0 5 0 594219299 1414778880 280747 33554432000 4194304 5787044 140735402417760 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=1381620 CPUtime=24.58 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 80595 0 0 0 2414 44 0 0 25 0 5 0 594219305 1414778880 280747 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591024 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=1381620 CPUtime=24.68 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 110381 0 0 0 2423 45 0 0 25 0 5 0 594219311 1414778880 280747 33554432000 4194304 5787044 140735402417760 18446744073709551615 4329759 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.44
Current children cumulated vsize (KiB) 1390320

[startup+51.1003 s]
/proc/loadavg: 3.89 3.99 4.09 5/177 15060
/proc/meminfo: memFree=15540728/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1429828 CPUtime=201.69 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 420210 0 0 0 19984 185 0 0 18 0 5 0 594219262 1464143872 295455 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 357457 295455 418 389 0 353207 0
[pid=15054/tid=15056] ppid=15053 vsize=1429828 CPUtime=50.52 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 81103 0 0 0 5014 38 0 0 25 0 5 0 594219293 1464143872 295455 33554432000 4194304 5787044 140735402417760 18446744073709551615 5590428 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=1429828 CPUtime=50.35 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) R 15053 15053 13969 0 -1 4202560 84489 0 0 0 4989 46 0 0 25 0 5 0 594219299 1464143872 295455 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=1429828 CPUtime=50.04 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 80609 0 0 0 4958 46 0 0 25 0 5 0 594219305 1464143872 295455 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=1429828 CPUtime=50.27 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 133219 0 0 0 4978 49 0 0 25 0 5 0 594219311 1464143872 295455 33554432000 4194304 5787044 140735402417760 18446744073709551615 4336801 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 201.69
Current children cumulated vsize (KiB) 1438528

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

[startup+76.7006 s]
/proc/loadavg: 3.93 3.99 4.09 5/177 15061
/proc/meminfo: memFree=15534416/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1429828 CPUtime=303.94 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 432727 0 0 0 30204 190 0 0 18 0 5 0 594219262 1464143872 296502 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 357457 296502 418 389 0 353207 0
[pid=15054/tid=15056] ppid=15053 vsize=1429828 CPUtime=76.12 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 81139 0 0 0 7573 39 0 0 25 0 5 0 594219293 1464143872 296502 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591024 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=1429828 CPUtime=75.94 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) R 15053 15053 13969 0 -1 4202560 84489 0 0 0 7547 47 0 0 25 0 5 0 594219299 1464143872 296502 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=1429828 CPUtime=75.62 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 80635 0 0 0 7515 47 0 0 25 0 5 0 594219305 1464143872 296502 33554432000 4194304 5787044 140735402417760 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=1429828 CPUtime=75.75 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 145674 0 0 0 7524 51 0 0 25 0 5 0 594219311 1464143872 296502 33554432000 4194304 5787044 140735402417760 18446744073709551615 4254564 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 303.94
Current children cumulated vsize (KiB) 1438528

[startup+83.1004 s]
/proc/loadavg: 3.93 3.99 4.09 5/177 15061
/proc/meminfo: memFree=15532308/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1495364 CPUtime=329.5 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 434477 0 0 0 32758 192 0 0 18 0 5 0 594219262 1531252736 298251 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 373841 298251 418 389 0 369591 0
[pid=15054/tid=15056] ppid=15053 vsize=1495364 CPUtime=82.49 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 81180 0 0 0 8210 39 0 0 25 0 5 0 594219293 1531252736 298251 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=1495364 CPUtime=82.34 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) R 15053 15053 13969 0 -1 4202560 84620 0 0 0 8187 47 0 0 18 0 5 0 594219299 1531252736 298251 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=1495364 CPUtime=82.01 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 81899 0 0 0 8154 47 0 0 25 0 5 0 594219305 1531252736 298251 33554432000 4194304 5787044 140735402417760 18446744073709551615 5601783 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=1495364 CPUtime=82.14 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 145988 0 0 0 8162 52 0 0 25 0 5 0 594219311 1531252736 298251 33554432000 4194304 5787044 140735402417760 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 329.5
Current children cumulated vsize (KiB) 1504064

[startup+86.3008 s]
/proc/loadavg: 3.94 3.99 4.09 5/177 15061
/proc/meminfo: memFree=15527720/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1495364 CPUtime=342.27 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 434507 0 0 0 34035 192 0 0 18 0 5 0 594219262 1531252736 298281 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 373841 298281 418 389 0 369591 0
[pid=15054/tid=15056] ppid=15053 vsize=1495364 CPUtime=85.69 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 81185 0 0 0 8530 39 0 0 25 0 5 0 594219293 1531252736 298281 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=1495364 CPUtime=85.54 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) R 15053 15053 13969 0 -1 4202560 84620 0 0 0 8507 47 0 0 25 0 5 0 594219299 1531252736 298281 33554432000 4194304 5787044 140735402417760 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=1495364 CPUtime=85.19 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 81899 0 0 0 8472 47 0 0 25 0 5 0 594219305 1531252736 298281 33554432000 4194304 5787044 140735402417760 18446744073709551615 5590526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=1495364 CPUtime=85.34 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 146013 0 0 0 8482 52 0 0 25 0 5 0 594219311 1531252736 298281 33554432000 4194304 5787044 140735402417760 18446744073709551615 4327196 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1504064

[startup+87.9005 s]
/proc/loadavg: 3.94 3.99 4.09 5/177 15061
/proc/meminfo: memFree=15526480/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1495364 CPUtime=348.62 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 436575 0 0 0 34662 200 0 0 18 0 5 0 594219262 1531252736 298443 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 373841 298443 430 389 0 369591 0
[pid=15054/tid=15056] ppid=15053 vsize=1495364 CPUtime=87.29 cores=1,3,5,7
/proc/15054/task/15056/stat : 15056 (priss) R 15053 15053 13969 0 -1 4202560 81185 0 0 0 8690 39 0 0 25 0 5 0 594219293 1531252736 298443 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=15054/tid=15057] ppid=15053 vsize=1495364 CPUtime=87.11 cores=1,3,5,7
/proc/15054/task/15057/stat : 15057 (priss) S 15053 15053 13969 0 -1 4202560 84621 0 0 0 8660 51 0 0 17 0 5 0 594219299 1531252736 298443 33554432000 4194304 5787044 140735402417760 18446744073709551615 260020500974 0 0 4096 0 18446604462373131392 0 0 -1 5 0 0 0
[pid=15054/tid=15058] ppid=15053 vsize=1495364 CPUtime=86.76 cores=1,3,5,7
/proc/15054/task/15058/stat : 15058 (priss) R 15053 15053 13969 0 -1 4202560 81910 0 0 0 8625 51 0 0 17 0 5 0 594219305 1531252736 298443 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032221877 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=15054/tid=15059] ppid=15053 vsize=1495364 CPUtime=86.94 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 148069 0 0 0 8642 52 0 0 25 0 5 0 594219311 1531252736 298443 33554432000 4194304 5787044 140735402417760 18446744073709551615 4319039 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 348.62
Current children cumulated vsize (KiB) 1504064

[startup+89.5003 s]
/proc/loadavg: 4.02 4.01 4.09 2/174 15061
/proc/meminfo: memFree=15583792/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1408052 CPUtime=351.66 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 436592 0 0 0 34906 260 0 0 18 0 2 0 594219262 1441845248 283907 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032198629 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 352013 283907 446 389 0 347763 0
[pid=15054/tid=15059] ppid=15053 vsize=1408052 CPUtime=88.53 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 148069 0 0 0 8801 52 0 0 25 0 2 0 594219311 1441845248 283907 33554432000 4194304 5787044 140735402417760 18446744073709551615 4318959 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 351.66
Current children cumulated vsize (KiB) 1416752

[startup+89.9002 s]
/proc/loadavg: 4.02 4.01 4.09 2/174 15061
/proc/meminfo: memFree=15583792/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1408052 CPUtime=352.06 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 436592 0 0 0 34946 260 0 0 18 0 2 0 594219262 1441845248 283907 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032198629 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 352013 283907 446 389 0 347763 0
[pid=15054/tid=15059] ppid=15053 vsize=1408052 CPUtime=88.93 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 148069 0 0 0 8841 52 0 0 25 0 2 0 594219311 1441845248 283907 33554432000 4194304 5787044 140735402417760 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 352.06
Current children cumulated vsize (KiB) 1416752

[startup+90.3011 s]
/proc/loadavg: 4.02 4.01 4.09 2/174 15061
/proc/meminfo: memFree=15583912/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1408052 CPUtime=352.46 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 436592 0 0 0 34986 260 0 0 18 0 2 0 594219262 1441845248 283907 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032198629 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 352013 283907 446 389 0 347763 0
[pid=15054/tid=15059] ppid=15053 vsize=1408052 CPUtime=89.33 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) R 15053 15053 13969 0 -1 4202560 148069 0 0 0 8881 52 0 0 25 0 2 0 594219311 1441845248 283907 33554432000 4194304 5787044 140735402417760 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 352.46
Current children cumulated vsize (KiB) 1416752

[startup+90.4011 s]
/proc/loadavg: 4.02 4.01 4.09 2/174 15061
/proc/meminfo: memFree=15583912/32951124 swapFree=67111528/67111528
[pid=15053] ppid=15051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/15053/stat : 15053 (prissAuto.sh) S 15051 15053 13969 0 -1 4202496 332 0 0 0 0 0 0 0 22 0 1 0 594219262 8908800 252 33554432000 4194304 4922060 140733873010080 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/15053/statm: 2175 252 211 178 0 68 0
[pid=15054] ppid=15053 vsize=1408052 CPUtime=352.52 cores=1,3,5,7
/proc/15054/stat : 15054 (priss) S 15053 15053 13969 0 -1 4202496 436610 0 0 0 34992 260 0 0 18 0 2 0 594219262 1441845248 283925 33554432000 4194304 5787044 140735402417760 18446744073709551615 260032198629 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 352013 283925 464 389 0 347763 0
[pid=15054/tid=15059] ppid=15053 vsize=1408052 CPUtime=89.39 cores=1,3,5,7
/proc/15054/task/15059/stat : 15059 (priss) D 15053 15053 13969 0 -1 4202560 148087 0 0 0 8887 52 0 0 25 0 2 0 594219311 1441845248 283925 33554432000 4194304 5787044 140735402417760 18446744073709551615 47810330900235 0 0 4096 0 18446744071562234166 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 352.52
Current children cumulated vsize (KiB) 1416752

Child status: 20
Real time (s): 90.4571
CPU time (s): 352.586
CPU user time (s): 349.929
CPU system time (s): 2.65759
CPU usage (%): 389.783
Max. virtual memory (cumulated for all children) (KiB): 1504064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.929
system time used= 2.65759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436968
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96631
involuntary context switches= 2573

runsolver used 0.155976 second user time and 0.344947 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-29 03:18:07
IDJOB=3281798
IDBENCH=69619
IDSOLVER=1602
FILE ID=node110/3281798-1304039886
RUNJOBID= node110-1304036273-14772
PBS_JOBID= 13170342
Free space on /tmp= 72824 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281798-1304039886/watcher-3281798-1304039886 -o /tmp/evaluation-result-3281798-1304039886/solver-3281798-1304039886 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3281798-1304039886.cnf 1510690223 4800 15500 4

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

MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=1510690223

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16722756 kB
Buffers:       2333008 kB
Cached:       13260944 kB
SwapCached:          0 kB
Active:        7821008 kB
Inactive:      7837592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16722756 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18268 kB
Writeback:           0 kB
AnonPages:       63684 kB
Mapped:          14704 kB
Slab:           506256 kB
PageTables:       4428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187260 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= 72820 MiB
End job on node110 at 2011-04-29 03:19:37