Trace number 3499477

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 18544.3 4636.1

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
MD5SUM9f9afdb81b528e7852015fad23de6353
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark178.147
Satisfiable
(Un)Satisfiability was proved
Number of variables195
Number of clauses20607
Sum of the clauses size92222
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 265
Number of clauses of size 318744
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51798

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: 26971
0.00/0.01	c parsetime: 6548us
0.00/0.01	c parsed 20607 clauses with 195 variables
0.00/0.01	c NW started thread 0 successfully (1113626944)
0.00/0.01	c NW started thread 1 successfully (1085978944)
0.00/0.02	c NW started thread 2 successfully (1096468800)
0.00/0.02	c NW started thread 3 successfully (1124116800)
6.33/1.60	c preprocessor returned 10040 variables
6.33/1.60	c preprocessing returned UNKNOWN
6.33/1.60	c PP set 0 variables
6.33/1.60	c pp time: 1589545us (1s)
6.33/1.60	c preprocessor returned 10040 variables
6.33/1.60	c preprocessing returned UNKNOWN
6.33/1.60	c PP set 0 variables
6.33/1.60	c pp time: 1582185us (1s)
6.73/1.78	c preprocessor returned 10040 variables
6.73/1.78	c preprocessing returned UNKNOWN
6.73/1.78	c PP set 0 variables
6.73/1.78	c pp time: 1769773us (1s)
297.06/74.39	c preprocessor returned 30182 variables
297.06/74.39	c preprocessing returned UNKNOWN
297.06/74.39	c PP set 0 variables
297.06/74.39	c pp time: 74365559us (74s)
6827.43/1706.90	c added unsatisfied clause
6827.43/1706.90	c failed to add network clauses
9593.90/2398.55	c added unsatisfied clause
9593.90/2398.55	c failed to add network clauses
12751.99/3188.03	c HTE
12777.62/3194.43	c subsumption
13148.01/3287.10	c simplified formula contains 0 unit clauses
18222.95/4555.71	c added unsatisfied clause
18222.95/4555.71	c failed to add network clauses
18474.15/4618.52	c added unsatisfied clause
18474.15/4618.52	c failed to add network clauses
18474.55/4618.65	c added unsatisfied clause
18474.55/4618.65	c failed to add network clauses
18542.16/4635.54	c ====================
18542.16/4635.54	c implication/decision inf%(inf)
18542.16/4635.54	c decisions:           5401079
18542.16/4635.54	c last level:          0
18542.16/4635.54	c conflicts:           4089172
18542.16/4635.54	c restarts:            27100
18542.16/4635.54	c rejected_restarts    0
18542.16/4635.54	c removals:            25
18542.16/4635.54	c removed clauses:     3161334
18542.16/4635.54	c oft clauses:         0
18544.16/4636.03	c solvetime: 4634428503us (4634s)
18544.16/4636.03	c sended clauses   | 123950 | 110885 | 1396 | 94114 |
18544.16/4636.03	c received clauses | 0 | 60 | 59 | 78 |
18544.16/4636.03	c join all other threads
18544.16/4636.03	c joined thread 0
18544.16/4636.05	c joined thread 1
18544.16/4636.05	c joined thread 2
18544.16/4636.05	c joined thread 3
18544.16/4636.05	c memory usage (vsize): 999 MB
18544.16/4636.05	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3499477-1308002122/watcher-3499477-1308002122 -o /var/tmp/evaluation-result-3499477-1308002122/solver-3499477-1308002122 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499477-1308002122.cnf 1888405930 40000 31000 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.68 3.93 3.92 2/170 26970
/proc/meminfo: memFree=14806556/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0

[startup+0.097657 s]
/proc/loadavg: 3.68 3.93 3.92 2/170 26970
/proc/meminfo: memFree=14806556/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100665 s]
/proc/loadavg: 3.68 3.93 3.92 2/170 26970
/proc/meminfo: memFree=14806556/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300618 s]
/proc/loadavg: 3.68 3.93 3.92 2/170 26970
/proc/meminfo: memFree=14806556/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700539 s]
/proc/loadavg: 3.68 3.93 3.92 2/170 26970
/proc/meminfo: memFree=14806556/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50039 s]
/proc/loadavg: 3.68 3.93 3.92 5/176 26976
/proc/meminfo: memFree=14795364/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=277348 CPUtime=5.93 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 8027 0 0 0 591 2 0 0 18 0 5 0 990442856 284004352 7239 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 69337 7239 355 389 0 65087 0
[pid=26971/tid=26973] ppid=26970 vsize=277348 CPUtime=1.48 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 1362 0 0 0 148 0 0 0 18 0 5 0 990442857 284004352 7239 33554432000 4194304 5787044 140733669322768 18446744073709551615 4359259 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=277348 CPUtime=1.47 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 1247 0 0 0 147 0 0 0 25 0 5 0 990442858 284004352 7239 33554432000 4194304 5787044 140733669322768 18446744073709551615 4359120 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=277348 CPUtime=1.46 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 1072 0 0 0 146 0 0 0 18 0 5 0 990442858 284004352 7239 33554432000 4194304 5787044 140733669322768 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=277348 CPUtime=1.46 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 2599 0 0 0 146 0 0 0 18 0 5 0 990442859 284004352 7239 33554432000 4194304 5787044 140733669322768 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 286048

[startup+3.10108 s]
/proc/loadavg: 3.68 3.93 3.92 5/176 26976
/proc/meminfo: memFree=14769588/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=281976 CPUtime=12.33 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 11472 0 0 0 1230 3 0 0 18 0 5 0 990442856 288743424 9875 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 70494 9875 404 389 0 66244 0
[pid=26971/tid=26973] ppid=26970 vsize=281976 CPUtime=3.07 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 2086 0 0 0 307 0 0 0 18 0 5 0 990442857 288743424 9875 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=281976 CPUtime=3.07 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 2853 0 0 0 307 0 0 0 25 0 5 0 990442858 288743424 9875 33554432000 4194304 5787044 140733669322768 18446744073709551615 5586627 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=281976 CPUtime=3.06 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 2165 0 0 0 305 1 0 0 18 0 5 0 990442858 288743424 9875 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=281976 CPUtime=3.06 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 2621 0 0 0 306 0 0 0 18 0 5 0 990442859 288743424 9875 33554432000 4194304 5787044 140733669322768 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 290676

[startup+6.30048 s]
/proc/loadavg: 3.70 3.93 3.92 5/176 26976
/proc/meminfo: memFree=14767088/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=282912 CPUtime=25.13 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 12191 0 0 0 2509 4 0 0 18 0 5 0 990442856 289701888 10594 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 70728 10594 404 389 0 66478 0
[pid=26971/tid=26973] ppid=26970 vsize=282912 CPUtime=6.27 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 2319 0 0 0 627 0 0 0 18 0 5 0 990442857 289701888 10594 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=282912 CPUtime=6.27 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 3090 0 0 0 627 0 0 0 25 0 5 0 990442858 289701888 10594 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=282912 CPUtime=6.26 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 2411 0 0 0 625 1 0 0 18 0 5 0 990442858 289701888 10594 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=282912 CPUtime=6.26 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 2624 0 0 0 626 0 0 0 23 0 5 0 990442859 289701888 10594 33554432000 4194304 5787044 140733669322768 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 291612

[startup+12.7013 s]
/proc/loadavg: 3.73 3.94 3.92 5/176 26976
/proc/meminfo: memFree=14762524/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=285096 CPUtime=50.71 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 13385 0 0 0 5067 4 0 0 18 0 5 0 990442856 291938304 11788 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 71274 11788 404 389 0 67024 0
[pid=26971/tid=26973] ppid=26970 vsize=285096 CPUtime=12.67 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 2679 0 0 0 1267 0 0 0 18 0 5 0 990442857 291938304 11788 33554432000 4194304 5787044 140733669322768 18446744073709551615 5590240 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=285096 CPUtime=12.68 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 3432 0 0 0 1267 1 0 0 25 0 5 0 990442858 291938304 11788 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=285096 CPUtime=12.64 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 2903 0 0 0 1263 1 0 0 23 0 5 0 990442858 291938304 11788 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=285096 CPUtime=12.67 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 2624 0 0 0 1267 0 0 0 25 0 5 0 990442859 291938304 11788 33554432000 4194304 5787044 140733669322768 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 293796

[startup+25.5009 s]
/proc/loadavg: 3.79 3.94 3.92 5/176 26976
/proc/meminfo: memFree=14751064/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=292164 CPUtime=101.89 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 16481 0 0 0 10182 7 0 0 18 0 5 0 990442856 299175936 14884 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 73041 14884 404 389 0 68791 0
[pid=26971/tid=26973] ppid=26970 vsize=292164 CPUtime=25.47 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 3406 0 0 0 2546 1 0 0 19 0 5 0 990442857 299175936 14884 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=292164 CPUtime=25.47 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 5024 0 0 0 2545 2 0 0 25 0 5 0 990442858 299175936 14884 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591268 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=292164 CPUtime=25.43 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 3680 0 0 0 2541 2 0 0 18 0 5 0 990442858 299175936 14884 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591808 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=292164 CPUtime=25.47 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 2624 0 0 0 2547 0 0 0 25 0 5 0 990442859 299175936 14884 33554432000 4194304 5787044 140733669322768 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 300864

[startup+51.101 s]
/proc/loadavg: 3.86 3.94 3.92 5/176 26977
/proc/meminfo: memFree=14735648/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=299944 CPUtime=204.27 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 20279 0 0 0 20418 9 0 0 18 0 5 0 990442856 307142656 18679 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 74986 18679 404 389 0 70736 0
[pid=26971/tid=26973] ppid=26970 vsize=299944 CPUtime=51.07 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 5443 0 0 0 5105 2 0 0 19 0 5 0 990442857 307142656 18679 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=299944 CPUtime=51.07 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 5939 0 0 0 5104 3 0 0 25 0 5 0 990442858 307142656 18679 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=299944 CPUtime=51.01 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 4526 0 0 0 5099 2 0 0 25 0 5 0 990442858 307142656 18679 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=299944 CPUtime=51.07 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 2624 0 0 0 5107 0 0 0 25 0 5 0 990442859 307142656 18679 33554432000 4194304 5787044 140733669322768 18446744073709551615 256415085529 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.27
Current children cumulated vsize (KiB) 308644

[startup+102.306 s]
/proc/loadavg: 3.94 3.95 3.92 5/176 26978
/proc/meminfo: memFree=14703232/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=311752 CPUtime=409.07 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 29606 0 0 0 40890 17 0 0 18 0 5 0 990442856 319234048 26634 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 77938 26634 417 389 0 73688 0
[pid=26971/tid=26973] ppid=26970 vsize=311752 CPUtime=102.28 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 7884 0 0 0 10224 4 0 0 18 0 5 0 990442857 319234048 26634 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=311752 CPUtime=102.28 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 7617 0 0 0 10222 6 0 0 25 0 5 0 990442858 319234048 26634 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591695 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=311752 CPUtime=102.19 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 6298 0 0 0 10216 3 0 0 21 0 5 0 990442858 319234048 26634 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591356 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=311752 CPUtime=102.27 cores=0-7

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

[pid=26971/tid=26973] ppid=26970 vsize=1043544 CPUtime=4607.99 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 53582 0 0 0 460747 52 0 0 25 0 5 0 990442857 1068589056 195950 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=1043544 CPUtime=4607.98 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 45859 0 0 0 460746 52 0 0 25 0 5 0 990442858 1068589056 195950 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=1043544 CPUtime=4607.75 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 48178 0 0 0 460753 22 0 0 25 0 5 0 990442858 1068589056 195950 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=1043544 CPUtime=4608.01 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 61828 0 0 0 460750 51 0 0 25 0 5 0 990442859 1068589056 195950 33554432000 4194304 5787044 140733669322768 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18431.8
Current children cumulated vsize (KiB) 1052244

[startup+4620.7 s]
/proc/loadavg: 4.04 4.01 3.95 5/176 27120
/proc/meminfo: memFree=14022008/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=1043544 CPUtime=18483 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 211421 0 0 0 1848118 178 0 0 18 0 5 0 990442856 1068589056 196177 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 260886 196177 419 389 0 256636 0
[pid=26971/tid=26973] ppid=26970 vsize=1043544 CPUtime=4620.79 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 53582 0 0 0 462027 52 0 0 25 0 5 0 990442857 1068589056 196177 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=1043544 CPUtime=4620.77 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 45972 0 0 0 462025 52 0 0 25 0 5 0 990442858 1068589056 196177 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=1043544 CPUtime=4620.55 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 48178 0 0 0 462033 22 0 0 25 0 5 0 990442858 1068589056 196177 33554432000 4194304 5787044 140733669322768 18446744073709551615 5592012 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=1043544 CPUtime=4620.81 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 61942 0 0 0 462030 51 0 0 25 0 5 0 990442859 1068589056 196177 33554432000 4194304 5787044 140733669322768 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18483
Current children cumulated vsize (KiB) 1052244

[startup+4627.1 s]
/proc/loadavg: 4.04 4.01 3.95 5/176 27120
/proc/meminfo: memFree=14021636/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=1043544 CPUtime=18508.6 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 211496 0 0 0 1850677 179 0 0 18 0 5 0 990442856 1068589056 196252 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 260886 196252 419 389 0 256636 0
[pid=26971/tid=26973] ppid=26970 vsize=1043544 CPUtime=4627.19 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 53582 0 0 0 462667 52 0 0 25 0 5 0 990442857 1068589056 196252 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=1043544 CPUtime=4627.17 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 45998 0 0 0 462665 52 0 0 25 0 5 0 990442858 1068589056 196252 33554432000 4194304 5787044 140733669322768 18446744073709551615 5588240 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=1043544 CPUtime=4626.95 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 48178 0 0 0 462673 22 0 0 25 0 5 0 990442858 1068589056 196252 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=1043544 CPUtime=4627.21 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 61991 0 0 0 462670 51 0 0 25 0 5 0 990442859 1068589056 196252 33554432000 4194304 5787044 140733669322768 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18508.6
Current children cumulated vsize (KiB) 1052244

[startup+4630.3 s]
/proc/loadavg: 4.04 4.01 3.95 5/176 27120
/proc/meminfo: memFree=14021388/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=1043544 CPUtime=18521.4 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 211555 0 0 0 1851957 179 0 0 18 0 5 0 990442856 1068589056 196311 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 260886 196311 419 389 0 256636 0
[pid=26971/tid=26973] ppid=26970 vsize=1043544 CPUtime=4630.39 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 53582 0 0 0 462987 52 0 0 19 0 5 0 990442857 1068589056 196311 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=1043544 CPUtime=4630.37 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 46023 0 0 0 462985 52 0 0 25 0 5 0 990442858 1068589056 196311 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=1043544 CPUtime=4630.15 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 48178 0 0 0 462993 22 0 0 25 0 5 0 990442858 1068589056 196311 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=1043544 CPUtime=4630.41 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 62025 0 0 0 462990 51 0 0 20 0 5 0 990442859 1068589056 196311 33554432000 4194304 5787044 140733669322768 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18521.4
Current children cumulated vsize (KiB) 1052244

[startup+4633.5 s]
/proc/loadavg: 4.04 4.01 3.95 5/176 27120
/proc/meminfo: memFree=14020892/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=1043544 CPUtime=18534.2 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 211664 0 0 0 1853237 179 0 0 18 0 5 0 990442856 1068589056 196420 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 260886 196420 419 389 0 256636 0
[pid=26971/tid=26973] ppid=26970 vsize=1043544 CPUtime=4633.59 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 53582 0 0 0 463307 52 0 0 25 0 5 0 990442857 1068589056 196420 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=1043544 CPUtime=4633.57 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 46053 0 0 0 463305 52 0 0 25 0 5 0 990442858 1068589056 196420 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=1043544 CPUtime=4633.35 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 48178 0 0 0 463313 22 0 0 25 0 5 0 990442858 1068589056 196420 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=1043544 CPUtime=4633.61 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 62104 0 0 0 463310 51 0 0 25 0 5 0 990442859 1068589056 196420 33554432000 4194304 5787044 140733669322768 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18534.2
Current children cumulated vsize (KiB) 1052244

[startup+4635.1 s]
/proc/loadavg: 4.03 4.01 3.95 5/176 27120
/proc/meminfo: memFree=14020892/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=1043544 CPUtime=18540.6 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 211682 0 0 0 1853877 179 0 0 18 0 5 0 990442856 1068589056 196438 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 260886 196438 419 389 0 256636 0
[pid=26971/tid=26973] ppid=26970 vsize=1043544 CPUtime=4635.19 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 53582 0 0 0 463467 52 0 0 25 0 5 0 990442857 1068589056 196438 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=1043544 CPUtime=4635.17 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 46069 0 0 0 463465 52 0 0 25 0 5 0 990442858 1068589056 196438 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=1043544 CPUtime=4634.95 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 48178 0 0 0 463473 22 0 0 25 0 5 0 990442858 1068589056 196438 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=1043544 CPUtime=4635.21 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 62106 0 0 0 463470 51 0 0 25 0 5 0 990442859 1068589056 196438 33554432000 4194304 5787044 140733669322768 18446744073709551615 5527168 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18540.6
Current children cumulated vsize (KiB) 1052244

[startup+4635.5 s]
/proc/loadavg: 4.03 4.01 3.95 6/176 27120
/proc/meminfo: memFree=14020892/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=1043544 CPUtime=18542.2 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 211686 0 0 0 1854037 179 0 0 18 0 5 0 990442856 1068589056 196442 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 260886 196442 419 389 0 256636 0
[pid=26971/tid=26973] ppid=26970 vsize=1043544 CPUtime=4635.59 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 53582 0 0 0 463507 52 0 0 25 0 5 0 990442857 1068589056 196442 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=1043544 CPUtime=4635.57 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 46072 0 0 0 463505 52 0 0 25 0 5 0 990442858 1068589056 196442 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=1043544 CPUtime=4635.35 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 48178 0 0 0 463513 22 0 0 25 0 5 0 990442858 1068589056 196442 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=1043544 CPUtime=4635.61 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 62107 0 0 0 463510 51 0 0 25 0 5 0 990442859 1068589056 196442 33554432000 4194304 5787044 140733669322768 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18542.2
Current children cumulated vsize (KiB) 1052244

[startup+4635.9 s]
/proc/loadavg: 4.03 4.01 3.95 6/176 27120
/proc/meminfo: memFree=14020892/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=1043544 CPUtime=18543.8 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 211701 0 0 0 1854197 179 0 0 18 0 5 0 990442856 1068589056 196457 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 260886 196457 431 389 0 256636 0
[pid=26971/tid=26973] ppid=26970 vsize=1043544 CPUtime=4635.99 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 53594 0 0 0 463547 52 0 0 18 0 5 0 990442857 1068589056 196457 33554432000 4194304 5787044 140733669322768 18446744073709551615 256415040716 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=1043544 CPUtime=4635.97 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 46075 0 0 0 463545 52 0 0 25 0 5 0 990442858 1068589056 196457 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=1043544 CPUtime=4635.75 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 48178 0 0 0 463553 22 0 0 25 0 5 0 990442858 1068589056 196457 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=1043544 CPUtime=4636.01 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 62107 0 0 0 463550 51 0 0 25 0 5 0 990442859 1068589056 196457 33554432000 4194304 5787044 140733669322768 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18543.8
Current children cumulated vsize (KiB) 1052244

[startup+4636 s]
/proc/loadavg: 4.03 4.01 3.95 6/176 27120
/proc/meminfo: memFree=14020892/32950928 swapFree=67056212/67111528
[pid=26970] ppid=26968 vsize=8700 CPUtime=0 cores=0-7
/proc/26970/stat : 26970 (priss.sh) S 26968 26970 26351 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 990442856 8908800 252 33554432000 4194304 4922060 140734990716576 18446744073709551615 256415210629 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26970/statm: 2175 252 211 178 0 68 0
[pid=26971] ppid=26970 vsize=1043544 CPUtime=18544.2 cores=0-7
/proc/26971/stat : 26971 (priss) S 26970 26970 26351 0 -1 4202496 211702 0 0 0 1854237 179 0 0 18 0 5 0 990442856 1068589056 196458 33554432000 4194304 5787044 140733669322768 18446744073709551615 256427215281 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/26971/statm: 260886 196458 431 389 0 256636 0
[pid=26971/tid=26973] ppid=26970 vsize=1043544 CPUtime=4636.09 cores=0-7
/proc/26971/task/26973/stat : 26973 (priss) R 26970 26970 26351 0 -1 4202560 53594 0 0 0 463557 52 0 0 18 0 5 0 990442857 1068589056 196458 33554432000 4194304 5787044 140733669322768 18446744073709551615 256415040463 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=26971/tid=26974] ppid=26970 vsize=1043544 CPUtime=4636.07 cores=0-7
/proc/26971/task/26974/stat : 26974 (priss) R 26970 26970 26351 0 -1 4202560 46075 0 0 0 463555 52 0 0 25 0 5 0 990442858 1068589056 196458 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26971/tid=26975] ppid=26970 vsize=1043544 CPUtime=4635.85 cores=0-7
/proc/26971/task/26975/stat : 26975 (priss) R 26970 26970 26351 0 -1 4202560 48178 0 0 0 463563 22 0 0 25 0 5 0 990442858 1068589056 196458 33554432000 4194304 5787044 140733669322768 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26971/tid=26976] ppid=26970 vsize=1043544 CPUtime=4636.11 cores=0-7
/proc/26971/task/26976/stat : 26976 (priss) R 26970 26970 26351 0 -1 4202560 62108 0 0 0 463560 51 0 0 25 0 5 0 990442859 1068589056 196458 33554432000 4194304 5787044 140733669322768 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18544.2
Current children cumulated vsize (KiB) 1052244

Child status: 20
Real time (s): 4636.1
CPU time (s): 18544.3
CPU user time (s): 18542.5
CPU system time (s): 1.83672
CPU usage (%): 399.999
Max. virtual memory (cumulated for all children) (KiB): 1052244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18542.5
system time used= 1.83672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212073
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11044
involuntary context switches= 75109

runsolver used 6.73897 second user time and 18.5482 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-13 23:55:22
IDJOB=3499477
IDBENCH=83292
IDSOLVER=1994
FILE ID=node115/3499477-1308002122
RUNJOBID= node115-1307986801-26365
PBS_JOBID= 13559796
Free space on /var/tmp= 2884 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-20_390.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499477-1308002122/watcher-3499477-1308002122 -o /var/tmp/evaluation-result-3499477-1308002122/solver-3499477-1308002122 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499477-1308002122.cnf 1888405930 40000 31000 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 9f9afdb81b528e7852015fad23de6353
RANDOM SEED=1888405930

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.811
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:     32950928 kB
MemFree:      14806844 kB
Buffers:        124940 kB
Cached:       17378360 kB
SwapCached:       9240 kB
Active:        1604280 kB
Inactive:     15917552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14806844 kB
SwapTotal:    67111528 kB
SwapFree:     67056212 kB
Dirty:            1948 kB
Writeback:           0 kB
AnonPages:       16360 kB
Mapped:          12444 kB
Slab:           556124 kB
PageTables:       4276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187624 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 /var/tmp at the end= 2884 MiB
End job on node115 at 2011-06-14 01:12:38