Trace number 3281799

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 301.506 76.0255

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: 24111
0.00/0.26	c parsetime: 256872us
0.00/0.26	c parsed 923497 clauses with 310434 variables
0.00/0.31	c NW started thread 0 successfully (1090709824)
0.00/0.37	c NW started thread 1 successfully (1101199680)
0.00/0.43	c NW started thread 2 successfully (1111689536)
0.00/0.49	c NW started thread 3 successfully (1122179392)
51.20/13.37	c preprocessor returned 310434 variables
51.20/13.37	c preprocessing returned UNKNOWN
51.20/13.37	c PP set 8724 variables
51.20/13.37	c pp time: 12993552us (12s)
52.01/13.53	c preprocessor returned 310434 variables
52.01/13.53	c preprocessing returned UNKNOWN
52.01/13.53	c PP set 8724 variables
52.01/13.53	c pp time: 13082476us (13s)
52.40/13.62	c preprocessor returned 310434 variables
52.40/13.62	c preprocessing returned UNKNOWN
52.40/13.62	c PP set 8724 variables
52.40/13.62	c pp time: 13055307us (13s)
52.81/13.71	c preprocessor returned 310434 variables
52.81/13.71	c preprocessing returned UNKNOWN
52.81/13.71	c PP set 8724 variables
52.81/13.71	c pp time: 13204847us (13s)
54.82/14.30	c HTE
56.79/14.75	c subsumption
57.19/14.85	c added unsatisfied clause
57.19/14.85	c failed to add network clauses
58.79/15.26	c simplified formula contains 0 unit clauses
63.18/16.33	c HTE
64.38/16.65	c subsumption
66.38/17.17	c simplified formula contains 0 unit clauses
85.57/21.99	c HTE
87.15/22.32	c subsumption
89.15/22.84	c simplified formula contains 0 unit clauses
95.53/24.46	c HTE
96.73/24.79	c subsumption
98.74/25.29	c simplified formula contains 0 unit clauses
101.13/25.84	c HTE
102.72/26.29	c subsumption
104.72/26.77	c simplified formula contains 0 unit clauses
112.32/28.66	c HTE
113.50/28.98	c subsumption
115.50/29.46	c simplified formula contains 0 unit clauses
124.70/31.72	c HTE
125.89/32.02	c subsumption
127.49/32.48	c simplified formula contains 0 unit clauses
138.69/35.28	c HTE
139.87/35.58	c subsumption
141.86/36.04	c simplified formula contains 0 unit clauses
181.40/45.93	c HTE
183.00/46.34	c subsumption
186.20/47.19	c simplified formula contains 0 unit clauses
215.36/54.40	c HTE
216.96/54.80	c subsumption
220.95/55.89	c simplified formula contains 0 unit clauses
222.94/56.37	c HTE
224.14/56.69	c subsumption
226.93/57.32	c simplified formula contains 0 unit clauses
247.72/62.57	c HTE
249.31/62.91	c subsumption
252.10/63.62	c simplified formula contains 0 unit clauses
259.69/65.53	c received clause contains eliminated literal 66707
267.68/67.55	c received clause contains eliminated literal -25301
274.49/69.27	c HTE
275.67/69.58	c subsumption
277.67/70.06	c simplified formula contains 0 unit clauses
279.28/70.49	c HTE
280.46/70.77	c subsumption
282.46/71.20	c simplified formula contains 0 unit clauses
286.46/72.20	c received clause contains eliminated literal 7507
287.67/72.60	c HTE
289.25/72.93	c subsumption
291.65/73.55	c simplified formula contains 0 unit clauses
292.85/73.88	c HTE
294.05/74.12	c subsumption
295.64/74.52	c simplified formula contains 0 unit clauses
300.04/75.65	c received clause contains eliminated literal -19559
300.04/75.65	c ====================
300.04/75.65	c implication/decision inf%(inf)
300.04/75.65	c decisions:           2066464
300.04/75.65	c last level:          0
300.04/75.65	c conflicts:           233348
300.04/75.65	c restarts:            1547
300.04/75.65	c rejected_restarts    0
300.04/75.65	c removals:            15
300.04/75.65	c removed clauses:     175211
300.04/75.65	c oft clauses:         0
300.43/75.70	c solvetime: 61987523us (61s)
301.22/75.96	c sended clauses   | 11305 | 10932 | 11727 | 10448 |
301.22/75.96	c received clauses | 0 | 361 | 246 | 228 |
301.22/75.96	c join all other threads
301.22/75.97	c joined thread 0
301.22/75.97	c joined thread 1
301.22/75.97	c joined thread 2
301.22/75.97	c joined thread 3
301.22/75.97	c memory usage (vsize): 1368 MB
301.22/75.97	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-3281799-1304040724/watcher-3281799-1304040724 -o /tmp/evaluation-result-3281799-1304040724/solver-3281799-1304040724 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3281799-1304040724.cnf 1990814841 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: 8.00 8.01 8.14 5/182 24110
/proc/meminfo: memFree=24590232/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0

[startup+0.0387931 s]
/proc/loadavg: 8.00 8.01 8.14 5/182 24110
/proc/meminfo: memFree=24590232/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100788 s]
/proc/loadavg: 8.00 8.01 8.14 5/182 24110
/proc/meminfo: memFree=24590232/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300754 s]
/proc/loadavg: 8.00 8.01 8.14 5/182 24110
/proc/meminfo: memFree=24590232/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700642 s]
/proc/loadavg: 8.00 8.01 8.14 5/182 24110
/proc/meminfo: memFree=24590232/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50051 s]
/proc/loadavg: 8.00 8.01 8.14 7/188 24116
/proc/meminfo: memFree=23778852/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=873784 CPUtime=4.22 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 237011 0 0 0 357 65 0 0 18 0 5 0 515670426 894754816 157120 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 218446 157131 348 389 0 214196 0
[pid=24111/tid=24113] ppid=24110 vsize=873784 CPUtime=1.06 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 51425 0 0 0 93 13 0 0 18 0 5 0 515670458 894754816 157139 33554432000 4194304 5787044 140734069765856 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=873784 CPUtime=0.94 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 49817 0 0 0 78 16 0 0 18 0 5 0 515670463 894754816 157152 33554432000 4194304 5787044 140734069765856 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=873784 CPUtime=0.87 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 47852 0 0 0 72 15 0 0 18 0 5 0 515670469 894754816 157165 33554432000 4194304 5787044 140734069765856 18446744073709551615 4318927 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=873784 CPUtime=0.83 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 45131 0 0 0 69 14 0 0 18 0 5 0 515670476 894754816 157176 33554432000 4194304 5787044 140734069765856 18446744073709551615 4329626 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 882484

[startup+3.10122 s]
/proc/loadavg: 8.00 8.01 8.14 9/188 24116
/proc/meminfo: memFree=23966092/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=949980 CPUtime=10.55 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 265972 0 0 0 955 100 0 0 18 0 5 0 515670426 972779520 173967 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 237495 173967 350 389 0 233245 0
[pid=24111/tid=24113] ppid=24110 vsize=949980 CPUtime=2.64 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 59617 0 0 0 242 22 0 0 18 0 5 0 515670458 972779520 173967 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256174773 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=949980 CPUtime=2.52 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 54376 0 0 0 227 25 0 0 18 0 5 0 515670463 972779520 173967 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256174773 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=949980 CPUtime=2.45 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 54466 0 0 0 222 23 0 0 18 0 5 0 515670469 972779520 173967 33554432000 4194304 5787044 140734069765856 18446744073709551615 18446744073699065989 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=949980 CPUtime=2.43 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 54671 0 0 0 220 23 0 0 18 0 5 0 515670476 972779520 173967 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256174773 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 958680

[startup+6.30067 s]
/proc/loadavg: 8.00 8.01 8.14 9/188 24116
/proc/meminfo: memFree=23787780/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1081052 CPUtime=23.25 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 302644 0 0 0 2174 151 0 0 18 0 5 0 515670426 1106997248 209135 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 270263 209135 351 389 0 266013 0
[pid=24111/tid=24113] ppid=24110 vsize=1081052 CPUtime=5.82 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 64109 0 0 0 549 33 0 0 21 0 5 0 515670458 1106997248 209135 33554432000 4194304 5787044 140734069765856 18446744073709551615 4345944 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1081052 CPUtime=5.7 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 64687 0 0 0 530 40 0 0 21 0 5 0 515670463 1106997248 209135 33554432000 4194304 5787044 140734069765856 18446744073709551615 4276259 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1081052 CPUtime=5.61 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 65189 0 0 0 525 36 0 0 21 0 5 0 515670469 1106997248 209135 33554432000 4194304 5787044 140734069765856 18446744073709551615 228244016130 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1081052 CPUtime=5.6 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 65817 0 0 0 525 35 0 0 20 0 5 0 515670476 1106997248 209135 33554432000 4194304 5787044 140734069765856 18446744073709551615 4278498 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.25
Current children cumulated vsize (KiB) 1089752

[startup+12.7006 s]
/proc/loadavg: 8.00 8.01 8.14 10/188 24116
/proc/meminfo: memFree=23744216/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1081052 CPUtime=48.82 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 302697 0 0 0 4731 151 0 0 18 0 5 0 515670426 1106997248 209188 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 270263 209188 352 389 0 266013 0
[pid=24111/tid=24113] ppid=24110 vsize=1081052 CPUtime=12.22 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 64131 0 0 0 1189 33 0 0 25 0 5 0 515670458 1106997248 209188 33554432000 4194304 5787044 140734069765856 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1081052 CPUtime=12.1 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 64694 0 0 0 1170 40 0 0 25 0 5 0 515670463 1106997248 209188 33554432000 4194304 5787044 140734069765856 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1081052 CPUtime=11.98 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 65213 0 0 0 1162 36 0 0 25 0 5 0 515670469 1106997248 209188 33554432000 4194304 5787044 140734069765856 18446744073709551615 18446744073699066094 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1081052 CPUtime=12 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 65817 0 0 0 1165 35 0 0 25 0 5 0 515670476 1106997248 209188 33554432000 4194304 5787044 140734069765856 18446744073709551615 4335781 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.82
Current children cumulated vsize (KiB) 1089752

[startup+25.5003 s]
/proc/loadavg: 8.00 8.00 8.14 9/188 24148
/proc/meminfo: memFree=24883484/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1374852 CPUtime=99.92 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 414876 0 0 0 9822 170 0 0 18 0 5 0 515670426 1407848448 282861 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 343713 282861 418 389 0 339463 0
[pid=24111/tid=24113] ppid=24110 vsize=1374852 CPUtime=25.02 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 85355 0 0 0 2466 36 0 0 25 0 5 0 515670458 1407848448 282861 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1374852 CPUtime=24.89 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 75755 0 0 0 2446 43 0 0 25 0 5 0 515670463 1407848448 282861 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1374852 CPUtime=24.69 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 85373 0 0 0 2430 39 0 0 25 0 5 0 515670469 1407848448 282861 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1374852 CPUtime=24.8 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 125551 0 0 0 2436 44 0 0 25 0 5 0 515670476 1407848448 282861 33554432000 4194304 5787044 140734069765856 18446744073709551615 4333693 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (KiB) 1383552

[startup+51.1008 s]
/proc/loadavg: 8.00 8.00 8.13 9/188 24181
/proc/meminfo: memFree=24413968/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1374852 CPUtime=202.17 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 445569 0 0 0 20040 177 0 0 18 0 5 0 515670426 1407848448 286230 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 343713 286230 418 389 0 339463 0
[pid=24111/tid=24113] ppid=24110 vsize=1374852 CPUtime=50.61 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 85358 0 0 0 5025 36 0 0 25 0 5 0 515670458 1407848448 286230 33554432000 4194304 5787044 140734069765856 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1374852 CPUtime=50.49 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 75755 0 0 0 5005 44 0 0 25 0 5 0 515670463 1407848448 286230 33554432000 4194304 5787044 140734069765856 18446744073709551615 4238753 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1374852 CPUtime=50.17 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 85526 0 0 0 4977 40 0 0 25 0 5 0 515670469 1407848448 286230 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591712 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1374852 CPUtime=50.37 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 156088 0 0 0 4988 49 0 0 25 0 5 0 515670476 1407848448 286230 33554432000 4194304 5787044 140734069765856 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.17
Current children cumulated vsize (KiB) 1383552

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

[startup+63.9006 s]
/proc/loadavg: 8.07 8.02 8.13 9/188 24181
/proc/meminfo: memFree=24390012/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1374852 CPUtime=253.3 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 456933 0 0 0 25150 180 0 0 18 0 5 0 515670426 1407848448 287986 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 343713 287986 418 389 0 339463 0
[pid=24111/tid=24113] ppid=24110 vsize=1374852 CPUtime=63.42 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 85358 0 0 0 6305 37 0 0 25 0 5 0 515670458 1407848448 287986 33554432000 4194304 5787044 140734069765856 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1374852 CPUtime=63.3 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 75759 0 0 0 6285 45 0 0 25 0 5 0 515670463 1407848448 287986 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1374852 CPUtime=62.97 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 85539 0 0 0 6257 40 0 0 25 0 5 0 515670469 1407848448 287986 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1374852 CPUtime=63.1 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 167435 0 0 0 6259 51 0 0 25 0 5 0 515670476 1407848448 287986 33554432000 4194304 5787044 140734069765856 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 253.3
Current children cumulated vsize (KiB) 1383552

[startup+70.3005 s]
/proc/loadavg: 8.07 8.02 8.13 9/188 24182
/proc/meminfo: memFree=24389144/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1374852 CPUtime=278.88 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 461510 0 0 0 27707 181 0 0 18 0 5 0 515670426 1407848448 288176 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 343713 288176 418 389 0 339463 0
[pid=24111/tid=24113] ppid=24110 vsize=1374852 CPUtime=69.82 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 85509 0 0 0 6945 37 0 0 25 0 5 0 515670458 1407848448 288176 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1374852 CPUtime=69.7 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 75759 0 0 0 6925 45 0 0 25 0 5 0 515670463 1407848448 288176 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1374852 CPUtime=69.38 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 85539 0 0 0 6897 41 0 0 25 0 5 0 515670469 1407848448 288176 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591024 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1374852 CPUtime=69.47 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 171861 0 0 0 6895 52 0 0 25 0 5 0 515670476 1407848448 288176 33554432000 4194304 5787044 140734069765856 18446744073709551615 4330504 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 278.88
Current children cumulated vsize (KiB) 1383552

[startup+73.5009 s]
/proc/loadavg: 8.07 8.02 8.13 9/188 24182
/proc/meminfo: memFree=24388896/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1374852 CPUtime=291.65 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 467128 0 0 0 28982 183 0 0 18 0 5 0 515670426 1407848448 288208 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 343713 288208 418 389 0 339463 0
[pid=24111/tid=24113] ppid=24110 vsize=1374852 CPUtime=73.02 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 85509 0 0 0 7265 37 0 0 25 0 5 0 515670458 1407848448 288208 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1374852 CPUtime=72.89 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 75759 0 0 0 7244 45 0 0 25 0 5 0 515670463 1407848448 288208 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591488 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1374852 CPUtime=72.57 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 85539 0 0 0 7216 41 0 0 25 0 5 0 515670469 1407848448 288208 33554432000 4194304 5787044 140734069765856 18446744073709551615 5588270 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1374852 CPUtime=72.66 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 177479 0 0 0 7213 53 0 0 25 0 5 0 515670476 1407848448 288208 33554432000 4194304 5787044 140734069765856 18446744073709551615 4336801 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 291.65
Current children cumulated vsize (KiB) 1383552

[startup+75.1006 s]
/proc/loadavg: 8.06 8.02 8.13 9/188 24182
/proc/meminfo: memFree=24360004/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1440388 CPUtime=298.04 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 476851 0 0 0 29620 184 0 0 18 0 5 0 515670426 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 360097 295569 418 389 0 355847 0
[pid=24111/tid=24113] ppid=24110 vsize=1440388 CPUtime=74.62 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 85512 0 0 0 7425 37 0 0 25 0 5 0 515670458 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1440388 CPUtime=74.49 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 75759 0 0 0 7404 45 0 0 25 0 5 0 515670463 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1440388 CPUtime=74.17 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 85539 0 0 0 7376 41 0 0 25 0 5 0 515670469 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1440388 CPUtime=74.24 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 187199 0 0 0 7370 54 0 0 25 0 5 0 515670476 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 5527227 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 298.04
Current children cumulated vsize (KiB) 1449088

[startup+75.5006 s]
/proc/loadavg: 8.06 8.02 8.13 9/188 24182
/proc/meminfo: memFree=24360004/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1440388 CPUtime=299.64 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 476851 0 0 0 29780 184 0 0 18 0 5 0 515670426 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 360097 295569 418 389 0 355847 0
[pid=24111/tid=24113] ppid=24110 vsize=1440388 CPUtime=75.02 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 85512 0 0 0 7465 37 0 0 25 0 5 0 515670458 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1440388 CPUtime=74.89 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 75759 0 0 0 7444 45 0 0 25 0 5 0 515670463 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 5590604 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1440388 CPUtime=74.57 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 85539 0 0 0 7416 41 0 0 25 0 5 0 515670469 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 5601760 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1440388 CPUtime=74.64 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 187199 0 0 0 7410 54 0 0 25 0 5 0 515670476 1474957312 295569 33554432000 4194304 5787044 140734069765856 18446744073709551615 4254564 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 299.64
Current children cumulated vsize (KiB) 1449088

[startup+75.9065 s]
/proc/loadavg: 8.06 8.02 8.13 9/188 24182
/proc/meminfo: memFree=24359928/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=1440388 CPUtime=301.22 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) S 24110 24110 22773 0 -1 4202496 476863 0 0 0 29937 185 0 0 18 0 5 0 515670426 1474957312 295581 33554432000 4194304 5787044 140734069765856 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 360097 295581 430 389 0 355847 0
[pid=24111/tid=24113] ppid=24110 vsize=1440388 CPUtime=75.42 cores=1,3,5,7
/proc/24111/task/24113/stat : 24113 (priss) R 24110 24110 22773 0 -1 4202560 85512 0 0 0 7505 37 0 0 25 0 5 0 515670458 1474957312 295581 33554432000 4194304 5787044 140734069765856 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24111/tid=24114] ppid=24110 vsize=1440388 CPUtime=75.3 cores=1,3,5,7
/proc/24111/task/24114/stat : 24114 (priss) R 24110 24110 22773 0 -1 4202560 75759 0 0 0 7485 45 0 0 25 0 5 0 515670463 1474957312 295581 33554432000 4194304 5787044 140734069765856 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24111/tid=24115] ppid=24110 vsize=1440388 CPUtime=74.94 cores=1,3,5,7
/proc/24111/task/24115/stat : 24115 (priss) R 24110 24110 22773 0 -1 4202560 85551 0 0 0 7453 41 0 0 17 0 5 0 515670469 1474957312 295581 33554432000 4194304 5787044 140734069765856 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24111/tid=24116] ppid=24110 vsize=1440388 CPUtime=75.05 cores=1,3,5,7
/proc/24111/task/24116/stat : 24116 (priss) R 24110 24110 22773 0 -1 4202560 187199 0 0 0 7450 55 0 0 25 0 5 0 515670476 1474957312 295581 33554432000 4194304 5787044 140734069765856 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 301.22
Current children cumulated vsize (KiB) 1449088

[startup+76.0005 s]
/proc/loadavg: 8.06 8.02 8.13 9/188 24182
/proc/meminfo: memFree=24359928/32951124 swapFree=67111364/67111528
[pid=24110] ppid=24108 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/24110/stat : 24110 (priss.sh) S 24108 24110 22773 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515670426 8908800 252 33554432000 4194304 4922060 140733606884496 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/24110/statm: 2175 252 211 178 0 68 0
[pid=24111] ppid=24110 vsize=0 CPUtime=301.47 cores=1,3,5,7
/proc/24111/stat : 24111 (priss) R 24110 24110 22773 0 -1 4202500 476896 0 0 0 29959 188 0 0 18 0 1 0 515670426 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/24111/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 301.47
Current children cumulated vsize (KiB) 8700

Child status: 20
Real time (s): 76.0255
CPU time (s): 301.506
CPU user time (s): 299.598
CPU system time (s): 1.90771
CPU usage (%): 396.586
Max. virtual memory (cumulated for all children) (KiB): 1449088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 299.598
system time used= 1.90771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477235
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= 79051
involuntary context switches= 1402

runsolver used 0.12898 second user time and 0.295955 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 03:32:05
IDJOB=3281799
IDBENCH=69619
IDSOLVER=1603
FILE ID=node136/3281799-1304040724
RUNJOBID= node136-1304038835-23733
PBS_JOBID= 13170316
Free space on /tmp= 72296 MiB

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

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

MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=1990814841

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:      24590504 kB
Buffers:       1051056 kB
Cached:        5022888 kB
SwapCached:        100 kB
Active:        2366008 kB
Inactive:      5439404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24590504 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           18360 kB
Writeback:           0 kB
AnonPages:     1730696 kB
Mapped:          15616 kB
Slab:           486316 kB
PageTables:       8212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2058784 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= 72308 MiB
End job on node136 at 2011-04-29 03:33:21