Trace number 3281615

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 1.0UNSAT 2234.07 561.743

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark144.2
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
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: 24064
0.00/0.38	c parsetime: 375229us
0.00/0.38	c parsed 1291714 clauses with 433601 variables
0.00/0.46	c NW started thread 0 successfully (1101916480)
0.00/0.54	c NW started thread 1 successfully (1112406336)
0.00/0.63	c NW started thread 2 successfully (1122896192)
0.00/0.71	c NW started thread 3 successfully (1084746048)
76.57/19.88	c preprocessor returned 433601 variables
76.57/19.88	c preprocessing returned UNKNOWN
76.57/19.88	c PP set 2681 variables
76.57/19.88	c pp time: 19331039us (19s)
77.75/20.16	c preprocessor returned 433601 variables
77.75/20.16	c preprocessing returned UNKNOWN
77.75/20.16	c PP set 2681 variables
77.75/20.16	c pp time: 19432570us (19s)
77.75/20.18	c preprocessor returned 433601 variables
77.75/20.18	c preprocessing returned UNKNOWN
77.75/20.18	c PP set 2681 variables
77.75/20.18	c pp time: 19341927us (19s)
78.15/20.22	c preprocessor returned 433601 variables
78.15/20.22	c preprocessing returned UNKNOWN
78.15/20.22	c PP set 2681 variables
78.15/20.22	c pp time: 19583146us (19s)
82.14/21.29	c HTE
83.74/21.69	c subsumption
87.33/22.56	c simplified formula contains 0 unit clauses
90.52/23.36	c HTE
92.92/23.92	c subsumption
96.11/24.73	c simplified formula contains 0 unit clauses
99.71/25.60	c HTE
100.91/25.97	c subsumption
104.10/26.78	c simplified formula contains 0 unit clauses
107.32/27.54	c HTE
108.90/27.90	c subsumption
111.72/28.67	c simplified formula contains 0 unit clauses
115.29/29.57	c HTE
117.68/30.17	c subsumption
120.87/30.93	c simplified formula contains 0 unit clauses
123.27/31.57	c added unsatisfied clause
123.27/31.57	c failed to add network clauses
165.62/42.16	c HTE
167.21/42.52	c subsumption
170.41/43.35	c simplified formula contains 0 unit clauses
225.95/57.28	c added unsatisfied clause
225.95/57.28	c failed to add network clauses
303.82/76.72	c HTE
305.41/77.15	c subsumption
311.01/78.50	c simplified formula contains 0 unit clauses
318.59/80.48	c HTE
320.20/80.84	c subsumption
324.99/82.04	c simplified formula contains 0 unit clauses
350.95/88.52	c received clause contains eliminated literal -284513
408.06/102.87	c HTE
409.66/103.23	c subsumption
413.66/104.22	c simplified formula contains 0 unit clauses
447.61/112.77	c added unsatisfied clause
447.61/112.77	c failed to add network clauses
568.66/143.05	c HTE
571.43/143.70	c subsumption
575.42/144.70	c added unsatisfied clause
575.42/144.70	c failed to add network clauses
577.44/145.29	c simplified formula contains 0 unit clauses
734.40/184.57	c HTE
736.80/185.18	c subsumption
746.39/187.52	c simplified formula contains 0 unit clauses
1306.80/327.87	c HTE
1309.98/328.63	c subsumption
1324.38/332.29	c simplified formula contains 0 unit clauses
1394.29/349.80	c added unsatisfied clause
1394.29/349.80	c failed to add network clauses
1507.71/378.11	c added unsatisfied clause
1507.71/378.11	c failed to add network clauses
1523.28/382.01	c added unsatisfied clause
1523.28/382.01	c failed to add network clauses
1897.95/475.84	c added unsatisfied clause
1897.95/475.84	c failed to add network clauses
1993.02/499.62	c added unsatisfied clause
1993.02/499.62	c failed to add network clauses
2009.00/503.64	c HTE
2014.20/504.96	c subsumption
2033.35/509.70	c simplified formula contains 0 unit clauses
2212.69/554.68	c HTE
2219.89/556.43	c subsumption
2229.87/558.90	c ====================
2229.87/558.90	c implication/decision inf%(inf)
2229.87/558.90	c decisions:           9950622
2229.87/558.90	c last level:          0
2229.87/558.90	c conflicts:           823871
2229.87/558.90	c restarts:            5469
2229.87/558.90	c rejected_restarts    0
2229.87/558.90	c removals:            19
2229.87/558.90	c removed clauses:     561830
2229.87/558.90	c oft clauses:         0
2230.25/559.03	c solvetime: 538804143us (538s)
2231.39/559.38	c sended clauses   | 50875 | 51537 | 46932 | 56485 |
2231.39/559.38	c received clauses | 0 | 542 | 583 | 420 |
2231.39/559.38	c join all other threads
2231.39/559.38	c joined thread 0
2231.39/559.38	c joined thread 1
2231.39/559.38	c joined thread 2
2233.92/561.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-3281615-1304040178/watcher-3281615-1304040178 -o /tmp/evaluation-result-3281615-1304040178/solver-3281615-1304040178 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3281615-1304040178.cnf 932106339 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: 6.88 7.53 8.19 5/182 24063
/proc/meminfo: memFree=25406360/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0

[startup+0.0728439 s]
/proc/loadavg: 6.88 7.53 8.19 5/182 24063
/proc/meminfo: memFree=25406360/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100849 s]
/proc/loadavg: 6.88 7.53 8.19 5/182 24063
/proc/meminfo: memFree=25406360/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300816 s]
/proc/loadavg: 6.88 7.53 8.19 5/182 24063
/proc/meminfo: memFree=25406360/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700767 s]
/proc/loadavg: 6.88 7.53 8.19 5/182 24063
/proc/meminfo: memFree=25406360/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50056 s]
/proc/loadavg: 6.88 7.53 8.19 9/188 24069
/proc/meminfo: memFree=24646072/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1413404 CPUtime=3.81 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 296119 0 0 0 306 75 0 0 18 0 5 0 515615860 1447325696 283982 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 353351 283984 345 389 0 349101 0
[pid=24064/tid=24066] ppid=24063 vsize=1413404 CPUtime=0.9 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 63155 0 0 0 72 18 0 0 18 0 5 0 515615906 1447325696 283986 33554432000 4194304 5787044 140734635609920 18446744073709551615 4306000 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=1413404 CPUtime=0.82 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 63711 0 0 0 62 20 0 0 18 0 5 0 515615914 1447325696 283990 33554432000 4194304 5787044 140734635609920 18446744073709551615 4302169 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=1413404 CPUtime=0.7 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 55801 0 0 0 55 15 0 0 18 0 5 0 515615923 1447325696 283993 33554432000 4194304 5787044 140734635609920 18446744073709551615 228244010017 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=1413404 CPUtime=0.63 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 53479 0 0 0 50 13 0 0 18 0 5 0 515615931 1447325696 283994 33554432000 4194304 5787044 140734635609920 18446744073709551615 4302169 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 1422104

[startup+3.10028 s]
/proc/loadavg: 6.88 7.53 8.19 9/188 24069
/proc/meminfo: memFree=24530008/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1157012 CPUtime=10.15 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 349543 0 0 0 928 87 0 0 18 0 5 0 515615860 1184780288 217020 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 289253 217020 350 389 0 285003 0
[pid=24064/tid=24066] ppid=24063 vsize=1157012 CPUtime=2.5 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 73351 0 0 0 230 20 0 0 20 0 5 0 515615906 1184780288 217020 33554432000 4194304 5787044 140734635609920 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=1157012 CPUtime=2.4 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 75098 0 0 0 217 23 0 0 20 0 5 0 515615914 1184780288 217020 33554432000 4194304 5787044 140734635609920 18446744073709551615 4327264 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=1157012 CPUtime=2.29 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 70662 0 0 0 209 20 0 0 19 0 5 0 515615923 1184780288 217020 33554432000 4194304 5787044 140734635609920 18446744073709551615 4327075 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=1157012 CPUtime=2.22 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 70449 0 0 0 206 16 0 0 20 0 5 0 515615931 1184780288 217020 33554432000 4194304 5787044 140734635609920 18446744073709551615 4326785 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.15
Current children cumulated vsize (KiB) 1165712

[startup+6.30072 s]
/proc/loadavg: 6.97 7.54 8.19 9/188 24069
/proc/meminfo: memFree=24325384/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1437708 CPUtime=22.65 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 415885 0 0 0 2110 155 0 0 18 0 5 0 515615860 1472212992 280838 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 359427 280838 350 389 0 355177 0
[pid=24064/tid=24066] ppid=24063 vsize=1437708 CPUtime=5.61 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 87465 0 0 0 523 38 0 0 18 0 5 0 515615906 1472212992 280838 33554432000 4194304 5787044 140734635609920 18446744073709551615 4340028 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=1437708 CPUtime=5.51 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 93408 0 0 0 509 42 0 0 19 0 5 0 515615914 1472212992 280838 33554432000 4194304 5787044 140734635609920 18446744073709551615 4391133 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=1437708 CPUtime=5.42 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 91533 0 0 0 504 38 0 0 19 0 5 0 515615923 1472212992 280838 33554432000 4194304 5787044 140734635609920 18446744073709551615 4340056 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=1437708 CPUtime=5.37 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 83496 0 0 0 509 28 0 0 18 0 5 0 515615931 1472212992 280838 33554432000 4194304 5787044 140734635609920 18446744073709551615 4340045 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.65
Current children cumulated vsize (KiB) 1446408

[startup+12.7006 s]
/proc/loadavg: 7.13 7.56 8.19 9/188 24069
/proc/meminfo: memFree=24222348/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1513700 CPUtime=48.21 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 430413 0 0 0 4662 159 0 0 18 0 5 0 515615860 1550028800 295366 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 378425 295366 351 389 0 374175 0
[pid=24064/tid=24066] ppid=24063 vsize=1513700 CPUtime=12.02 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 91305 0 0 0 1163 39 0 0 25 0 5 0 515615906 1550028800 295366 33554432000 4194304 5787044 140734635609920 18446744073709551615 4276449 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=1513700 CPUtime=11.87 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 97382 0 0 0 1143 44 0 0 25 0 5 0 515615914 1550028800 295366 33554432000 4194304 5787044 140734635609920 18446744073709551615 4278467 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=1513700 CPUtime=11.81 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 94317 0 0 0 1142 39 0 0 25 0 5 0 515615923 1550028800 295366 33554432000 4194304 5787044 140734635609920 18446744073709551615 4345956 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=1513700 CPUtime=11.77 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 87426 0 0 0 1148 29 0 0 25 0 5 0 515615931 1550028800 295366 33554432000 4194304 5787044 140734635609920 18446744073709551615 4345951 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.21
Current children cumulated vsize (KiB) 1522400

[startup+25.5004 s]
/proc/loadavg: 7.32 7.58 8.19 9/188 24070
/proc/meminfo: memFree=23904156/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1771556 CPUtime=99.31 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 597137 0 0 0 9743 188 0 0 18 0 5 0 515615860 1814073344 371985 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 442889 371985 417 389 0 438639 0
[pid=24064/tid=24066] ppid=24063 vsize=1771556 CPUtime=24.81 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 125655 0 0 0 2437 44 0 0 25 0 5 0 515615906 1814073344 371985 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=1771556 CPUtime=24.59 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 134097 0 0 0 2408 51 0 0 25 0 5 0 515615914 1814073344 371985 33554432000 4194304 5787044 140734635609920 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=1771556 CPUtime=24.6 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 131254 0 0 0 2415 45 0 0 25 0 5 0 515615923 1814073344 371985 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=1771556 CPUtime=24.55 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 146148 0 0 0 2417 38 0 0 25 0 5 0 515615931 1814073344 371985 33554432000 4194304 5787044 140734635609920 18446744073709551615 4327121 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.31
Current children cumulated vsize (KiB) 1780256

[startup+51.1009 s]
/proc/loadavg: 7.61 7.63 8.18 9/188 24070
/proc/meminfo: memFree=23876308/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1851420 CPUtime=201.57 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 664488 0 0 0 19957 200 0 0 18 0 5 0 515615860 1895854080 380176 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 462855 380176 418 389 0 458605 0
[pid=24064/tid=24066] ppid=24063 vsize=1851420 CPUtime=50.42 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 125907 0 0 0 4997 45 0 0 25 0 5 0 515615906 1895854080 380176 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=1851420 CPUtime=50.05 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 134289 0 0 0 4953 52 0 0 25 0 5 0 515615914 1895854080 380176 33554432000 4194304 5787044 140734635609920 18446744073709551615 5586690 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=1851420 CPUtime=50.2 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 131296 0 0 0 4974 46 0 0 25 0 5 0 515615923 1895854080 380176 33554432000 4194304 5787044 140734635609920 18446744073709551615 5576432 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=1851420 CPUtime=50.15 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 213013 0 0 0 4967 48 0 0 25 0 5 0 515615931 1895854080 380176 33554432000 4194304 5787044 140734635609920 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.57
Current children cumulated vsize (KiB) 1860120

[startup+102.307 s]
/proc/loadavg: 7.89 7.70 8.18 9/188 24072
/proc/meminfo: memFree=23857116/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1855328 CPUtime=406.09 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 703703 0 0 0 40400 209 0 0 18 0 5 0 515615860 1899855872 382335 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 463832 382335 418 389 0 459582 0
[pid=24064/tid=24066] ppid=24063 vsize=1855328 CPUtime=101.61 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 126477 0 0 0 10116 45 0 0 25 0 5 0 515615906 1899855872 382335 33554432000 4194304 5787044 140734635609920 18446744073709551615 5585226 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=1855328 CPUtime=100.98 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 134831 0 0 0 10044 54 0 0 25 0 5 0 515615914 1899855872 382335 33554432000 4194304 5787044 140734635609920 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=1855328 CPUtime=101.4 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 131318 0 0 0 10093 47 0 0 25 0 5 0 515615923 1899855872 382335 33554432000 4194304 5787044 140734635609920 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=1855328 CPUtime=101.36 cores=0,2,4,6

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

/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1994192 CPUtime=1604.37 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 797783 0 0 0 160189 248 0 0 18 0 5 0 515615860 2042052608 406370 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 498548 406370 418 389 0 494298 0
[pid=24064/tid=24066] ppid=24063 vsize=1994192 CPUtime=401.59 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 129433 0 0 0 40109 50 0 0 25 0 5 0 515615906 2042052608 406370 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=1994192 CPUtime=400.01 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 138555 0 0 0 39941 60 0 0 25 0 5 0 515615914 2042052608 406370 33554432000 4194304 5787044 140734635609920 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=1994192 CPUtime=400.69 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 135797 0 0 0 40014 55 0 0 25 0 5 0 515615923 2042052608 406370 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=1994192 CPUtime=401.35 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 334015 0 0 0 40060 75 0 0 25 0 5 0 515615931 2042052608 406370 33554432000 4194304 5787044 140734635609920 18446744073709551615 5527227 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1604.37
Current children cumulated vsize (KiB) 2002892

[startup+462.301 s]
/proc/loadavg: 8.18 8.00 8.15 9/188 24081
/proc/meminfo: memFree=23524508/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=2003408 CPUtime=1844.03 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 803454 0 0 0 184150 253 0 0 18 0 5 0 515615860 2051489792 411847 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 500852 411847 418 389 0 496602 0
[pid=24064/tid=24066] ppid=24063 vsize=2003408 CPUtime=461.57 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 130933 0 0 0 46106 51 0 0 25 0 5 0 515615906 2051489792 411847 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=2003408 CPUtime=460.01 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 141294 0 0 0 45940 61 0 0 25 0 5 0 515615914 2051489792 411847 33554432000 4194304 5787044 140734635609920 18446744073709551615 4254464 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=2003408 CPUtime=460.35 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 136759 0 0 0 45979 56 0 0 25 0 5 0 515615923 2051489792 411847 33554432000 4194304 5787044 140734635609920 18446744073709551615 4220214 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=2003408 CPUtime=461.35 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 334485 0 0 0 46059 76 0 0 25 0 5 0 515615931 2051489792 411847 33554432000 4194304 5787044 140734635609920 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1844.03
Current children cumulated vsize (KiB) 2012108

[startup+522.3 s]
/proc/loadavg: 8.15 8.03 8.15 9/188 24083
/proc/meminfo: memFree=23511584/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=2003408 CPUtime=2083.69 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 823429 0 0 0 208109 260 0 0 18 0 5 0 515615860 2051489792 413342 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 500852 413342 418 389 0 496602 0
[pid=24064/tid=24066] ppid=24063 vsize=2003408 CPUtime=521.57 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 130933 0 0 0 52105 52 0 0 25 0 5 0 515615906 2051489792 413342 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=2003408 CPUtime=519.99 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 141325 0 0 0 51937 62 0 0 25 0 5 0 515615914 2051489792 413342 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=2003408 CPUtime=520.04 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 136764 0 0 0 51947 57 0 0 25 0 5 0 515615923 2051489792 413342 33554432000 4194304 5787044 140734635609920 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=2003408 CPUtime=521.35 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 354424 0 0 0 52054 81 0 0 25 0 5 0 515615931 2051489792 413342 33554432000 4194304 5787044 140734635609920 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2083.69
Current children cumulated vsize (KiB) 2012108

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

[startup+537.501 s]
/proc/loadavg: 8.20 8.04 8.15 9/188 24083
/proc/meminfo: memFree=23508600/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=2003408 CPUtime=2144.4 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 825239 0 0 0 214179 261 0 0 18 0 5 0 515615860 2051489792 415152 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 500852 415152 418 389 0 496602 0
[pid=24064/tid=24066] ppid=24063 vsize=2003408 CPUtime=536.77 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 130999 0 0 0 53625 52 0 0 25 0 5 0 515615906 2051489792 415152 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=2003408 CPUtime=535.19 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 142349 0 0 0 53457 62 0 0 25 0 5 0 515615914 2051489792 415152 33554432000 4194304 5787044 140734635609920 18446744073709551615 5590240 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=2003408 CPUtime=535.15 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 136764 0 0 0 53458 57 0 0 25 0 5 0 515615923 2051489792 415152 33554432000 4194304 5787044 140734635609920 18446744073709551615 5576446 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=2003408 CPUtime=536.54 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 355144 0 0 0 53573 81 0 0 25 0 5 0 515615931 2051489792 415152 33554432000 4194304 5787044 140734635609920 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2144.4
Current children cumulated vsize (KiB) 2012108

[startup+550.3 s]
/proc/loadavg: 8.00 8.01 8.14 9/188 24116
/proc/meminfo: memFree=23797824/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=2003408 CPUtime=2195.52 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 826433 0 0 0 219289 263 0 0 18 0 5 0 515615860 2051489792 416346 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 500852 416346 418 389 0 496602 0
[pid=24064/tid=24066] ppid=24063 vsize=2003408 CPUtime=549.57 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 131281 0 0 0 54904 53 0 0 25 0 5 0 515615906 2051489792 416346 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=2003408 CPUtime=547.99 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 142535 0 0 0 54736 63 0 0 25 0 5 0 515615914 2051489792 416346 33554432000 4194304 5787044 140734635609920 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=2003408 CPUtime=547.88 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 136764 0 0 0 54731 57 0 0 25 0 5 0 515615923 2051489792 416346 33554432000 4194304 5787044 140734635609920 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=2003408 CPUtime=549.34 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 355870 0 0 0 54852 82 0 0 25 0 5 0 515615931 2051489792 416346 33554432000 4194304 5787044 140734635609920 18446744073709551615 5528398 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2195.52
Current children cumulated vsize (KiB) 2012108

[startup+556.7 s]
/proc/loadavg: 8.00 8.01 8.14 9/188 24116
/proc/meminfo: memFree=23744156/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=2003564 CPUtime=2221.08 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 847695 0 0 0 221841 267 0 0 18 0 5 0 515615860 2051649536 417963 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/24064/statm: 500891 417963 418 389 0 496641 0
[pid=24064/tid=24066] ppid=24063 vsize=2003564 CPUtime=555.96 cores=0,2,4,6
/proc/24064/task/24066/stat : 24066 (priss) R 24063 24063 22773 0 -1 4202560 131427 0 0 0 55543 53 0 0 25 0 5 0 515615906 2051649536 417963 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=24064/tid=24067] ppid=24063 vsize=2003564 CPUtime=554.39 cores=0,2,4,6
/proc/24064/task/24067/stat : 24067 (priss) R 24063 24063 22773 0 -1 4202560 142539 0 0 0 55376 63 0 0 25 0 5 0 515615914 2051649536 417963 33554432000 4194304 5787044 140734635609920 18446744073709551615 4254968 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=24064/tid=24068] ppid=24063 vsize=2003564 CPUtime=554.24 cores=0,2,4,6
/proc/24064/task/24068/stat : 24068 (priss) R 24063 24063 22773 0 -1 4202560 136822 0 0 0 55367 57 0 0 25 0 5 0 515615923 2051649536 417963 33554432000 4194304 5787044 140734635609920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=24064/tid=24069] ppid=24063 vsize=2003564 CPUtime=555.74 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 376924 0 0 0 55489 85 0 0 25 0 5 0 515615931 2051649536 417963 33554432000 4194304 5787044 140734635609920 18446744073709551615 4337443 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2221.08
Current children cumulated vsize (KiB) 2012264

[startup+559.907 s]
/proc/loadavg: 8.00 8.00 8.14 6/185 24116
/proc/meminfo: memFree=23582916/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1922256 CPUtime=2232.22 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 847824 0 0 0 222953 269 0 0 18 0 2 0 515615860 1968390144 402846 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256151525 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/24064/statm: 480564 402846 446 389 0 476314 0
[pid=24064/tid=24069] ppid=24063 vsize=1922256 CPUtime=558.95 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 376963 0 0 0 55809 86 0 0 18 0 2 0 515615931 1968390144 402846 33554432000 4194304 5787044 140734635609920 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2232.22
Current children cumulated vsize (KiB) 1930956

[startup+560.701 s]
/proc/loadavg: 8.00 8.00 8.14 6/185 24116
/proc/meminfo: memFree=23582916/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1922256 CPUtime=2233.02 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 847824 0 0 0 223033 269 0 0 18 0 2 0 515615860 1968390144 402846 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256151525 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/24064/statm: 480564 402846 446 389 0 476314 0
[pid=24064/tid=24069] ppid=24063 vsize=1922256 CPUtime=559.74 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 376963 0 0 0 55888 86 0 0 20 0 2 0 515615931 1968390144 402846 33554432000 4194304 5787044 140734635609920 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2233.02
Current children cumulated vsize (KiB) 1930956

[startup+561.501 s]
/proc/loadavg: 8.00 8.00 8.14 7/185 24116
/proc/meminfo: memFree=23550188/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=1922256 CPUtime=2233.82 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) S 24063 24063 22773 0 -1 4202496 847824 0 0 0 223113 269 0 0 18 0 2 0 515615860 1968390144 402846 33554432000 4194304 5787044 140734635609920 18446744073709551615 228256151525 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/24064/statm: 480564 402846 446 389 0 476314 0
[pid=24064/tid=24069] ppid=24063 vsize=1922256 CPUtime=560.54 cores=0,2,4,6
/proc/24064/task/24069/stat : 24069 (priss) R 24063 24063 22773 0 -1 4202560 376963 0 0 0 55968 86 0 0 21 0 2 0 515615931 1968390144 402846 33554432000 4194304 5787044 140734635609920 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2233.82
Current children cumulated vsize (KiB) 1930956

[startup+561.701 s]
/proc/loadavg: 8.00 8.00 8.14 7/185 24116
/proc/meminfo: memFree=23550188/32951124 swapFree=67111364/67111528
[pid=24063] ppid=24061 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (priss.sh) S 24061 24063 22773 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 515615859 8908800 251 33554432000 4194304 4922060 140735786650384 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/24063/statm: 2175 251 211 178 0 68 0
[pid=24064] ppid=24063 vsize=0 CPUtime=2234.01 cores=0,2,4,6
/proc/24064/stat : 24064 (priss) R 24063 24063 22773 0 -1 4202500 847864 0 0 0 223129 272 0 0 18 0 1 0 515615860 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/24064/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2234.01
Current children cumulated vsize (KiB) 8700

Child status: 20
Real time (s): 561.743
CPU time (s): 2234.07
CPU user time (s): 2231.3
CPU system time (s): 2.77158
CPU usage (%): 397.704
Max. virtual memory (cumulated for all children) (KiB): 2118296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2231.3
system time used= 2.77158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 848202
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= 102437
involuntary context switches= 17250

runsolver used 0.85087 second user time and 2.21866 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 03:22:59
IDJOB=3281615
IDBENCH=69591
IDSOLVER=1603
FILE ID=node136/3281615-1304040178
RUNJOBID= node136-1304038835-23732
PBS_JOBID= 13170316
Free space on /tmp= 72288 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281615-1304040178/watcher-3281615-1304040178 -o /tmp/evaluation-result-3281615-1304040178/solver-3281615-1304040178 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3281615-1304040178.cnf 932106339 4800 15500 4

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

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=932106339

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25406640 kB
Buffers:       1050700 kB
Cached:        5022492 kB
SwapCached:        100 kB
Active:        1556652 kB
Inactive:      5434812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25406640 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           38516 kB
Writeback:           0 kB
AnonPages:      917936 kB
Mapped:          15672 kB
Slab:           486552 kB
PageTables:       6128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1175176 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= 72292 MiB
End job on node136 at 2011-04-29 03:32:21