Trace number 3249841

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 Auto? (TO) 4800.1 1202.42

General information on the benchmark

Namecrafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
MD5SUM4e35cb9894b1ca841d462da2d6957cc5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables63882
Number of clauses123981
Sum of the clauses size369562
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22381
Number of clauses of size 3121600
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: 26504
0.00/0.00	c setup for 4cores
0.00/0.03	c parsetime: 33901us
0.00/0.03	c parsed 123981 clauses with 63882 variables
0.00/0.04	c NW started thread 0 successfully (1100781888)
0.00/0.05	c NW started thread 1 successfully (1111271744)
0.00/0.06	c NW started thread 2 successfully (1121761600)
0.00/0.07	c NW started thread 3 successfully (1132251456)
7.37/1.97	c preprocessor returned 63882 variables
7.37/1.97	c preprocessing returned UNKNOWN
7.37/1.97	c PP set 435 variables
7.37/1.97	c pp time: 1915355us (1s)
7.37/1.99	c preprocessor returned 63882 variables
7.37/1.99	c preprocessing returned UNKNOWN
7.37/1.99	c PP set 435 variables
7.37/1.99	c pp time: 1911927us (1s)
7.37/1.99	c preprocessor returned 63882 variables
7.37/1.99	c preprocessing returned UNKNOWN
7.37/1.99	c PP set 435 variables
7.37/1.99	c pp time: 1921584us (1s)
7.77/2.00	c preprocessor returned 63882 variables
7.77/2.00	c preprocessing returned UNKNOWN
7.77/2.00	c PP set 435 variables
7.77/2.00	c pp time: 1916237us (1s)
8.97/2.30	c HTE
10.18/2.70	c subsumption
10.58/2.79	c simplified formula contains 0 unit clauses
31.58/8.00	c added unsatisfied clause
31.58/8.00	c failed to add network clauses
42.30/10.72	c added unsatisfied clause
42.30/10.72	c failed to add network clauses
45.51/11.50	c added unsatisfied clause
45.51/11.50	c failed to add network clauses
45.51/11.52	c added unsatisfied clause
45.51/11.52	c failed to add network clauses
61.02/15.41	c added unsatisfied clause
61.02/15.41	c failed to add network clauses
84.13/21.23	c added unsatisfied clause
84.13/21.23	c failed to add network clauses
84.13/21.28	c added unsatisfied clause
84.13/21.28	c failed to add network clauses
89.70/22.60	c added unsatisfied clause
89.70/22.60	c failed to add network clauses
89.70/22.60	c added unsatisfied clause
89.70/22.60	c failed to add network clauses
89.70/22.62	c added unsatisfied clause
89.70/22.62	c failed to add network clauses
89.70/22.65	c added unsatisfied clause
89.70/22.65	c failed to add network clauses
112.82/28.47	c added unsatisfied clause
112.82/28.47	c failed to add network clauses
113.22/28.56	c added unsatisfied clause
113.22/28.56	c failed to add network clauses
130.36/32.81	c added unsatisfied clause
130.36/32.81	c failed to add network clauses
130.76/32.90	c added unsatisfied clause
130.76/32.90	c failed to add network clauses
135.15/34.01	c added unsatisfied clause
135.15/34.01	c failed to add network clauses
135.15/34.02	c added unsatisfied clause
135.15/34.02	c failed to add network clauses
135.55/34.18	c added unsatisfied clause
135.55/34.18	c failed to add network clauses
136.75/34.43	c added unsatisfied clause
136.75/34.43	c failed to add network clauses
148.72/37.42	c added unsatisfied clause
148.72/37.42	c failed to add network clauses
158.29/39.80	c added unsatisfied clause
158.29/39.80	c failed to add network clauses
158.29/39.80	c added unsatisfied clause
158.29/39.80	c failed to add network clauses
161.08/40.55	c added unsatisfied clause
161.08/40.55	c failed to add network clauses
169.04/42.51	c added unsatisfied clause
169.04/42.51	c failed to add network clauses
169.04/42.52	c added unsatisfied clause
169.04/42.52	c failed to add network clauses
214.51/53.95	c added unsatisfied clause
214.51/53.95	c failed to add network clauses
231.27/58.19	c added unsatisfied clause
231.27/58.19	c failed to add network clauses
236.44/59.50	c added unsatisfied clause
236.44/59.50	c failed to add network clauses
237.65/59.78	c added unsatisfied clause
237.65/59.78	c failed to add network clauses
246.03/61.83	c added unsatisfied clause
246.03/61.83	c failed to add network clauses
246.42/61.98	c added unsatisfied clause
246.42/61.98	c failed to add network clauses
246.84/62.02	c added unsatisfied clause
246.84/62.02	c failed to add network clauses
246.84/62.02	c added unsatisfied clause
246.84/62.02	c failed to add network clauses
277.58/69.80	c added unsatisfied clause
277.58/69.80	c failed to add network clauses
295.12/74.16	c added unsatisfied clause
295.12/74.16	c failed to add network clauses
295.90/74.36	c added unsatisfied clause
295.90/74.36	c failed to add network clauses
299.51/75.28	c added unsatisfied clause
299.51/75.28	c failed to add network clauses
329.01/82.68	c added unsatisfied clause
329.01/82.68	c failed to add network clauses
336.59/84.59	c added unsatisfied clause
336.59/84.59	c failed to add network clauses
451.91/113.43	c added unsatisfied clause
451.91/113.43	c failed to add network clauses
454.30/114.03	c added unsatisfied clause
454.30/114.03	c failed to add network clauses
458.29/115.08	c added unsatisfied clause
458.29/115.08	c failed to add network clauses
497.82/124.94	c added unsatisfied clause
497.82/124.94	c failed to add network clauses
501.84/125.92	c added unsatisfied clause
501.84/125.92	c failed to add network clauses
534.15/134.06	c added unsatisfied clause
534.15/134.06	c failed to add network clauses
553.26/138.83	c added unsatisfied clause
553.26/138.83	c failed to add network clauses
555.25/139.36	c added unsatisfied clause
555.25/139.36	c failed to add network clauses
670.66/168.21	c added unsatisfied clause
670.66/168.21	c failed to add network clauses
779.24/195.48	c added unsatisfied clause
779.24/195.48	c failed to add network clauses
838.29/210.27	c added unsatisfied clause
838.29/210.27	c failed to add network clauses
838.29/210.27	c added unsatisfied clause
838.29/210.27	c failed to add network clauses
841.09/210.98	c added unsatisfied clause
841.09/210.98	c failed to add network clauses
881.83/221.11	c added unsatisfied clause
881.83/221.11	c failed to add network clauses
881.83/221.17	c added unsatisfied clause
881.83/221.17	c failed to add network clauses
934.55/234.30	c added unsatisfied clause
934.55/234.30	c failed to add network clauses
1003.23/251.57	c added unsatisfied clause
1003.23/251.57	c failed to add network clauses
1023.55/256.68	c added unsatisfied clause
1023.55/256.68	c failed to add network clauses
1109.00/278.01	c added unsatisfied clause
1109.00/278.01	c failed to add network clauses
1182.79/296.56	c HTE
1187.59/297.71	c subsumption
1196.37/299.95	c simplified formula contains 0 unit clauses
1429.54/358.35	c added unsatisfied clause
1429.54/358.35	c failed to add network clauses
1431.94/358.98	c added unsatisfied clause
1431.94/358.98	c failed to add network clauses
1471.89/368.98	c added unsatisfied clause
1471.89/368.98	c failed to add network clauses
1533.00/384.29	c added unsatisfied clause
1533.00/384.29	c failed to add network clauses
1574.12/394.52	c added unsatisfied clause
1574.12/394.52	c failed to add network clauses
1598.49/400.68	c added unsatisfied clause
1598.49/400.68	c failed to add network clauses
1630.00/408.56	c added unsatisfied clause
1630.00/408.56	c failed to add network clauses
1665.15/417.35	c added unsatisfied clause
1665.15/417.35	c failed to add network clauses
1821.59/456.59	c added unsatisfied clause
1821.59/456.59	c failed to add network clauses
1821.99/456.63	c added unsatisfied clause
1821.99/456.63	c failed to add network clauses
2024.10/507.29	c added unsatisfied clause
2024.10/507.29	c failed to add network clauses
2173.06/544.58	c added unsatisfied clause
2173.06/544.58	c failed to add network clauses
2222.08/556.89	c added unsatisfied clause
2222.08/556.89	c failed to add network clauses
2265.21/567.67	c added unsatisfied clause
2265.21/567.67	c failed to add network clauses
2287.97/573.36	c added unsatisfied clause
2287.97/573.36	c failed to add network clauses
2301.55/576.78	c added unsatisfied clause
2301.55/576.78	c failed to add network clauses
2374.65/595.07	c added unsatisfied clause
2374.65/595.07	c failed to add network clauses
2480.41/621.51	c added unsatisfied clause
2480.41/621.51	c failed to add network clauses
2848.93/713.87	c added unsatisfied clause
2848.93/713.87	c failed to add network clauses
2975.56/745.52	c added unsatisfied clause
2975.56/745.52	c failed to add network clauses
2975.56/745.53	c added unsatisfied clause
2975.56/745.53	c failed to add network clauses
3034.67/760.36	c added unsatisfied clause
3034.67/760.36	c failed to add network clauses
3116.93/780.97	c HTE
3152.08/789.76	c subsumption
3189.65/799.19	c added unsatisfied clause
3189.65/799.19	c failed to add network clauses
3209.60/804.16	c added unsatisfied clause
3209.60/804.16	c failed to add network clauses
3258.73/816.45	c simplified formula contains 0 unit clauses
3593.34/900.30	c added unsatisfied clause
3593.34/900.30	c failed to add network clauses
4058.13/1016.64	c added unsatisfied clause
4058.13/1016.64	c failed to add network clauses
4522.86/1133.04	c added unsatisfied clause
4522.86/1133.04	c failed to add network clauses
4546.03/1138.82	c added unsatisfied clause
4546.03/1138.82	c failed to add network clauses
4640.70/1162.53	c added unsatisfied clause
4640.70/1162.53	c failed to add network clauses

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3249841-1304057291/watcher-3249841-1304057291 -o /tmp/evaluation-result-3249841-1304057291/solver-3249841-1304057291 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3249841-1304057291.cnf 1616179264 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 8.38 8.16 8.04 5/182 26503
/proc/meminfo: memFree=26220184/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0

[startup+0.0522409 s]
/proc/loadavg: 8.38 8.16 8.04 5/182 26503
/proc/meminfo: memFree=26220184/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100213 s]
/proc/loadavg: 8.38 8.16 8.04 5/182 26503
/proc/meminfo: memFree=26220184/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.307946 s]
/proc/loadavg: 8.38 8.16 8.04 5/182 26503
/proc/meminfo: memFree=26220184/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.17801 s]
/proc/loadavg: 8.38 8.16 8.04 5/182 26503
/proc/meminfo: memFree=26220184/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50095 s]
/proc/loadavg: 8.38 8.16 8.04 10/188 26509
/proc/meminfo: memFree=26058636/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=409344 CPUtime=5.79 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 46753 0 0 0 564 15 0 0 18 0 5 0 517327108 419168256 38423 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 102336 38423 351 389 0 98086 0
[pid=26504/tid=26506] ppid=26503 vsize=409344 CPUtime=1.44 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 10969 0 0 0 140 4 0 0 19 0 5 0 517327112 419168256 38423 33554432000 4194304 5787044 140734883086736 18446744073709551615 4345961 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=409344 CPUtime=1.43 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 10334 0 0 0 139 4 0 0 19 0 5 0 517327113 419168256 38423 33554432000 4194304 5787044 140734883086736 18446744073709551615 4278467 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=409344 CPUtime=1.41 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 8642 0 0 0 138 3 0 0 19 0 5 0 517327114 419168256 38423 33554432000 4194304 5787044 140734883086736 18446744073709551615 4278612 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=409344 CPUtime=1.41 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 10509 0 0 0 139 2 0 0 19 0 5 0 517327115 419168256 38423 33554432000 4194304 5787044 140734883086736 18446744073709551615 4278456 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 418044

[startup+3.10067 s]
/proc/loadavg: 8.38 8.16 8.04 9/188 26509
/proc/meminfo: memFree=26001848/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=422140 CPUtime=12.15 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 69399 0 0 0 1188 27 0 0 18 0 5 0 517327108 432271360 51919 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 105535 51919 418 389 0 101285 0
[pid=26504/tid=26506] ppid=26503 vsize=422140 CPUtime=3.02 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 14120 0 0 0 296 6 0 0 18 0 5 0 517327112 432271360 51919 33554432000 4194304 5787044 140734883086736 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=422140 CPUtime=3 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 15907 0 0 0 293 7 0 0 18 0 5 0 517327113 432271360 51919 33554432000 4194304 5787044 140734883086736 18446744073709551615 4218905 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=422140 CPUtime=3 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 15261 0 0 0 293 7 0 0 25 0 5 0 517327114 432271360 51919 33554432000 4194304 5787044 140734883086736 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=422140 CPUtime=3 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 17812 0 0 0 297 3 0 0 18 0 5 0 517327115 432271360 51919 33554432000 4194304 5787044 140734883086736 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 430840

[startup+6.30111 s]
/proc/loadavg: 8.51 8.19 8.05 10/188 26510
/proc/meminfo: memFree=25979864/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=423192 CPUtime=24.83 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 70645 0 0 0 2430 53 0 0 18 0 5 0 517327108 433348608 53165 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 105798 53165 418 389 0 101548 0
[pid=26504/tid=26506] ppid=26503 vsize=423192 CPUtime=6.2 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 14359 0 0 0 607 13 0 0 18 0 5 0 517327112 433348608 53165 33554432000 4194304 5787044 140734883086736 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=423192 CPUtime=6.16 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 16416 0 0 0 601 15 0 0 19 0 5 0 517327113 433348608 53165 33554432000 4194304 5787044 140734883086736 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=423192 CPUtime=6.17 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 15489 0 0 0 602 15 0 0 18 0 5 0 517327114 433348608 53165 33554432000 4194304 5787044 140734883086736 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=423192 CPUtime=6.2 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 18082 0 0 0 612 8 0 0 19 0 5 0 517327115 433348608 53165 33554432000 4194304 5787044 140734883086736 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 431892

[startup+12.701 s]
/proc/loadavg: 8.47 8.19 8.05 9/188 26510
/proc/meminfo: memFree=25950508/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=425176 CPUtime=50.27 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 73727 0 0 0 4929 98 0 0 18 0 5 0 517327108 435380224 56247 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 106294 56247 418 389 0 102044 0
[pid=26504/tid=26506] ppid=26503 vsize=425176 CPUtime=12.57 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 15097 0 0 0 1235 22 0 0 18 0 5 0 517327112 435380224 56247 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256174773 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=425176 CPUtime=12.47 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 16733 0 0 0 1215 32 0 0 18 0 5 0 517327113 435380224 56247 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=425176 CPUtime=12.52 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 15783 0 0 0 1225 27 0 0 18 0 5 0 517327114 435380224 56247 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256174773 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=425176 CPUtime=12.59 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 19815 0 0 0 1246 13 0 0 21 0 5 0 517327115 435380224 56247 33554432000 4194304 5787044 140734883086736 18446744073709551615 4254508 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (KiB) 433876

[startup+25.5008 s]
/proc/loadavg: 8.43 8.20 8.05 9/188 26510
/proc/meminfo: memFree=25897696/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=426232 CPUtime=101.27 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 79404 0 0 0 9973 154 0 0 18 0 5 0 517327108 436461568 61836 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 106558 61836 418 389 0 102308 0
[pid=26504/tid=26506] ppid=26503 vsize=426232 CPUtime=25.33 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 15738 0 0 0 2497 36 0 0 19 0 5 0 517327112 436461568 61836 33554432000 4194304 5787044 140734883086736 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=426232 CPUtime=25.17 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 19152 0 0 0 2467 50 0 0 19 0 5 0 517327113 436461568 61836 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=426232 CPUtime=25.28 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 17328 0 0 0 2484 44 0 0 19 0 5 0 517327114 436461568 61836 33554432000 4194304 5787044 140734883086736 18446744073709551615 4254979 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=426232 CPUtime=25.38 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 20887 0 0 0 2517 21 0 0 25 0 5 0 517327115 436461568 61836 33554432000 4194304 5787044 140734883086736 18446744073709551615 228244453919 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.27
Current children cumulated vsize (KiB) 434932

[startup+51.1063 s]
/proc/loadavg: 8.28 8.18 8.05 9/188 26511
/proc/meminfo: memFree=25776936/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=441624 CPUtime=203.36 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 91126 0 0 0 20107 229 0 0 18 0 5 0 517327108 452222976 73329 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 110406 73329 418 389 0 106156 0
[pid=26504/tid=26506] ppid=26503 vsize=441624 CPUtime=50.9 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 18966 0 0 0 5036 54 0 0 18 0 5 0 517327112 452222976 73329 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=441624 CPUtime=50.55 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 22183 0 0 0 4983 72 0 0 20 0 5 0 517327113 452222976 73329 33554432000 4194304 5787044 140734883086736 18446744073709551615 4254645 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=441624 CPUtime=50.84 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 19463 0 0 0 5017 67 0 0 22 0 5 0 517327114 452222976 73329 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256174773 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=441624 CPUtime=50.97 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 24215 0 0 0 5064 33 0 0 25 0 5 0 517327115 452222976 73329 33554432000 4194304 5787044 140734883086736 18446744073709551615 4254953 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.36
Current children cumulated vsize (KiB) 450324

[startup+102.3 s]
/proc/loadavg: 8.22 8.18 8.05 9/188 26512
/proc/meminfo: memFree=25601832/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=665768 CPUtime=407.61 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 118659 0 0 0 40447 314 0 0 18 0 5 0 517327108 681746432 100214 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 166442 100214 418 389 0 162192 0
[pid=26504/tid=26506] ppid=26503 vsize=665768 CPUtime=102.01 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 25039 0 0 0 10126 75 0 0 18 0 5 0 517327112 681746432 100214 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=665768 CPUtime=101.39 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 29526 0 0 0 10040 99 0 0 24 0 5 0 517327113 681746432 100214 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=665768 CPUtime=101.97 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 26317 0 0 0 10106 91 0 0 19 0 5 0 517327114 681746432 100214 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=665768 CPUtime=102.14 cores=0,2,4,6

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

/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 103308 0 0 0 87872 193 0 0 25 0 5 0 517327113 1811021824 388685 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=1768576 CPUtime=879.32 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 85312 0 0 0 87748 184 0 0 25 0 5 0 517327114 1811021824 388685 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=1768576 CPUtime=881.42 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 140853 0 0 0 88009 133 0 0 25 0 5 0 517327115 1811021824 388685 33554432000 4194304 5787044 140734883086736 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.82
Current children cumulated vsize (KiB) 1777276

[startup+942.3 s]
/proc/loadavg: 8.12 8.11 8.08 9/188 26535
/proc/meminfo: memFree=23798064/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=1771100 CPUtime=3761.47 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 429659 0 0 0 375463 684 0 0 18 0 5 0 517327108 1813606400 393818 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 442775 393818 418 389 0 438525 0
[pid=26504/tid=26506] ppid=26503 vsize=1771100 CPUtime=940.32 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 90027 0 0 0 93871 161 0 0 25 0 5 0 517327112 1813606400 393818 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=1771100 CPUtime=940.65 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 104760 0 0 0 93868 197 0 0 25 0 5 0 517327113 1813606400 393818 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=1771100 CPUtime=939.32 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 87192 0 0 0 93744 188 0 0 25 0 5 0 517327114 1813606400 393818 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=1771100 CPUtime=941.08 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 141381 0 0 0 93972 136 0 0 25 0 5 0 517327115 1813606400 393818 33554432000 4194304 5787044 140734883086736 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3761.47
Current children cumulated vsize (KiB) 1779800

[startup+1002.3 s]
/proc/loadavg: 8.09 8.10 8.08 9/188 26536
/proc/meminfo: memFree=23772632/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=1771364 CPUtime=4001.01 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 434223 0 0 0 399405 696 0 0 18 0 5 0 517327108 1813876736 397389 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 442841 397389 418 389 0 438591 0
[pid=26504/tid=26506] ppid=26503 vsize=1771364 CPUtime=1000.32 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 91225 0 0 0 99868 164 0 0 25 0 5 0 517327112 1813876736 397389 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591653 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=1771364 CPUtime=1000.64 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 104761 0 0 0 99865 199 0 0 25 0 5 0 517327113 1813876736 397389 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591780 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=1771364 CPUtime=999.2 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 88635 0 0 0 99729 191 0 0 25 0 5 0 517327114 1813876736 397389 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=1771364 CPUtime=1000.75 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 143303 0 0 0 99935 140 0 0 25 0 5 0 517327115 1813876736 397389 33554432000 4194304 5787044 140734883086736 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4001.01
Current children cumulated vsize (KiB) 1780064

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 8.08 9/188 26538
/proc/meminfo: memFree=23732540/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=1912836 CPUtime=4240.57 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 444800 0 0 0 423343 714 0 0 18 0 5 0 517327108 1958744064 406973 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 478209 406973 418 389 0 473959 0
[pid=26504/tid=26506] ppid=26503 vsize=1912836 CPUtime=1060.31 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 96246 0 0 0 105860 171 0 0 25 0 5 0 517327112 1958744064 406973 33554432000 4194304 5787044 140734883086736 18446744073709551615 4254641 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=1912836 CPUtime=1060.64 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 105598 0 0 0 105862 202 0 0 25 0 5 0 517327113 1958744064 406973 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=1912836 CPUtime=1059.2 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 90060 0 0 0 105726 194 0 0 25 0 5 0 517327114 1958744064 406973 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=1912836 CPUtime=1060.33 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 146597 0 0 0 105888 145 0 0 25 0 5 0 517327115 1958744064 406973 33554432000 4194304 5787044 140734883086736 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4240.57
Current children cumulated vsize (KiB) 1921536

[startup+1122.3 s]
/proc/loadavg: 8.12 8.12 8.09 9/188 26539
/proc/meminfo: memFree=23721364/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=1918772 CPUtime=4480.11 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 446535 0 0 0 447291 720 0 0 18 0 5 0 517327108 1964822528 408708 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 479693 408708 418 389 0 475443 0
[pid=26504/tid=26506] ppid=26503 vsize=1918772 CPUtime=1120.2 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 97728 0 0 0 111847 173 0 0 25 0 5 0 517327112 1964822528 408708 33554432000 4194304 5787044 140734883086736 18446744073709551615 5576432 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=1918772 CPUtime=1120.64 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 105851 0 0 0 111860 204 0 0 25 0 5 0 517327113 1964822528 408708 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=1918772 CPUtime=1119.2 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 90060 0 0 0 111725 195 0 0 25 0 5 0 517327114 1964822528 408708 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=1918772 CPUtime=1119.99 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 146597 0 0 0 111852 147 0 0 25 0 5 0 517327115 1964822528 408708 33554432000 4194304 5787044 140734883086736 18446744073709551615 5527057 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4480.11
Current children cumulated vsize (KiB) 1927472

[startup+1182.3 s]
/proc/loadavg: 8.15 8.12 8.09 9/188 26541
/proc/meminfo: memFree=23708952/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=1918772 CPUtime=4719.79 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 447658 0 0 0 471253 726 0 0 18 0 5 0 517327108 1964822528 409831 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 479693 409831 418 389 0 475443 0
[pid=26504/tid=26506] ppid=26503 vsize=1918772 CPUtime=1180.2 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 97730 0 0 0 117846 174 0 0 25 0 5 0 517327112 1964822528 409831 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=1918772 CPUtime=1180.63 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 106968 0 0 0 117857 206 0 0 25 0 5 0 517327113 1964822528 409831 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=1918772 CPUtime=1179.2 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 90063 0 0 0 117724 196 0 0 25 0 5 0 517327114 1964822528 409831 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591564 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=1918772 CPUtime=1179.65 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 146598 0 0 0 117818 147 0 0 25 0 5 0 517327115 1964822528 409831 33554432000 4194304 5787044 140734883086736 18446744073709551615 5527399 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4719.79
Current children cumulated vsize (KiB) 1927472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.4 s]
/proc/loadavg: 7.79 8.05 8.07 9/188 26606
/proc/meminfo: memFree=24599048/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=1918772 CPUtime=4800.1 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 447730 0 0 0 479282 728 0 0 18 0 5 0 517327108 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 479693 409903 418 389 0 475443 0
[pid=26504/tid=26506] ppid=26503 vsize=1918772 CPUtime=1200.3 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 97731 0 0 0 119856 174 0 0 25 0 5 0 517327112 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=1918772 CPUtime=1200.74 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 107039 0 0 0 119867 207 0 0 25 0 5 0 517327113 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=1918772 CPUtime=1199.31 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 90063 0 0 0 119734 197 0 0 25 0 5 0 517327114 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=1918772 CPUtime=1199.64 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 146598 0 0 0 119816 148 0 0 25 0 5 0 517327115 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1927472

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1202.4 s]
/proc/loadavg: 7.79 8.05 8.07 9/188 26606
/proc/meminfo: memFree=24599048/32951124 swapFree=67111364/67111528
[pid=26503] ppid=26501 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/26503/stat : 26503 (prissAuto.sh) S 26501 26503 25027 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517327107 8908800 252 33554432000 4194304 4922060 140736449931536 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26503/statm: 2175 252 211 178 0 68 0
[pid=26504] ppid=26503 vsize=1918772 CPUtime=4800.1 cores=0,2,4,6
/proc/26504/stat : 26504 (priss) S 26503 26503 25027 0 -1 4202496 447730 0 0 0 479282 728 0 0 18 0 5 0 517327108 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26504/statm: 479693 409903 418 389 0 475443 0
[pid=26504/tid=26506] ppid=26503 vsize=1918772 CPUtime=1200.3 cores=0,2,4,6
/proc/26504/task/26506/stat : 26506 (priss) R 26503 26503 25027 0 -1 4202560 97731 0 0 0 119856 174 0 0 25 0 5 0 517327112 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=26504/tid=26507] ppid=26503 vsize=1918772 CPUtime=1200.74 cores=0,2,4,6
/proc/26504/task/26507/stat : 26507 (priss) R 26503 26503 25027 0 -1 4202560 107039 0 0 0 119867 207 0 0 25 0 5 0 517327113 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=26504/tid=26508] ppid=26503 vsize=1918772 CPUtime=1199.31 cores=0,2,4,6
/proc/26504/task/26508/stat : 26508 (priss) R 26503 26503 25027 0 -1 4202560 90063 0 0 0 119734 197 0 0 25 0 5 0 517327114 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=26504/tid=26509] ppid=26503 vsize=1918772 CPUtime=1199.64 cores=0,2,4,6
/proc/26504/task/26509/stat : 26509 (priss) R 26503 26503 25027 0 -1 4202560 146598 0 0 0 119816 148 0 0 25 0 5 0 517327115 1964822528 409903 33554432000 4194304 5787044 140734883086736 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1927472

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26503 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 4800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1202.42
CPU time (s): 4800.1
CPU user time (s): 4792.82
CPU system time (s): 7.28
CPU usage (%): 399.204
Max. virtual memory (cumulated for all children) (KiB): 1927472

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

runsolver used 1.83572 second user time and 4.73128 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 08:08:11
IDJOB=3249841
IDBENCH=83191
IDSOLVER=1602
FILE ID=node136/3249841-1304057291
RUNJOBID= node136-1304053650-25979
PBS_JOBID= 13170391
Free space on /tmp= 72332 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/crn_40_1521_s.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249841-1304057291/watcher-3249841-1304057291 -o /tmp/evaluation-result-3249841-1304057291/solver-3249841-1304057291 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3249841-1304057291.cnf 1616179264 4800 15500 4

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

MD5SUM BENCH= 4e35cb9894b1ca841d462da2d6957cc5
RANDOM SEED=1616179264

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:      26220332 kB
Buffers:       1058540 kB
Cached:        5001700 kB
SwapCached:        100 kB
Active:         731352 kB
Inactive:      5448264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26220332 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5948 kB
Writeback:           0 kB
AnonPages:      118548 kB
Mapped:          15720 kB
Slab:           486536 kB
PageTables:       4776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   306756 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= 72328 MiB
End job on node136 at 2011-04-29 08:28:16