Trace number 3283408

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.05 1202.23

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p0.cnf
MD5SUMfaef1c850bb82ceddc7da5a4c445dd25
Bench CategoryAPPLICATION (applications 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 variables258781
Number of clauses1372095
Sum of the clauses size3305764
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2980303
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

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: 20706
0.00/0.00	c setup for 4cores
0.00/0.36	c parsetime: 362644us
0.00/0.36	c parsed 1372095 clauses with 258781 variables
0.00/0.45	c NW started thread 0 successfully (1115744576)
0.00/0.54	c NW started thread 1 successfully (1126234432)
0.00/0.63	c NW started thread 2 successfully (1136724288)
0.00/0.73	c NW started thread 3 successfully (1090451776)
895.98/224.89	c preprocessor returned 258781 variables
895.98/224.89	c preprocessing returned UNKNOWN
895.98/224.89	c PP set 63037 variables
895.98/224.89	c pp time: 224094685us (224s)
900.38/225.98	c preprocessor returned 258781 variables
900.38/225.98	c preprocessing returned UNKNOWN
900.38/225.98	c PP set 63037 variables
900.38/225.98	c pp time: 225383360us (225s)
905.97/227.35	c preprocessor returned 258781 variables
905.97/227.35	c preprocessing returned UNKNOWN
905.97/227.35	c PP set 63037 variables
905.97/227.35	c pp time: 226653537us (226s)
907.96/227.84	c preprocessor returned 258781 variables
907.96/227.84	c preprocessing returned UNKNOWN
907.96/227.84	c PP set 63037 variables
907.96/227.84	c pp time: 227342721us (227s)
934.73/234.54	c HTE
971.47/243.74	c subsumption
974.67/244.52	c simplified formula contains 0 unit clauses
1006.63/252.57	c HTE
1033.39/259.24	c subsumption
1035.78/259.80	c simplified formula contains 0 unit clauses
1061.74/266.31	c HTE
1086.52/272.57	c subsumption
1088.51/273.10	c simplified formula contains 0 unit clauses
1088.91/273.15	c received clause contains eliminated literal -155730
1115.68/279.83	c HTE
1141.64/286.37	c subsumption
1144.03/286.92	c simplified formula contains 0 unit clauses
1170.39/293.52	c HTE
1195.17/299.70	c subsumption
1197.19/300.23	c simplified formula contains 0 unit clauses
1221.93/306.46	c HTE
1246.30/312.57	c subsumption
1248.69/313.10	c simplified formula contains 0 unit clauses
1248.69/313.15	c received clause contains eliminated literal -153425
1274.26/319.52	c HTE
1299.42/325.86	c subsumption
1301.40/326.36	c simplified formula contains 0 unit clauses
1301.80/326.41	c received clause contains eliminated literal -152225
1327.36/332.82	c HTE
1351.72/338.95	c subsumption
1353.72/339.45	c simplified formula contains 0 unit clauses
1384.48/347.19	c HTE
1408.84/353.22	c subsumption
1410.83/353.73	c simplified formula contains 0 unit clauses
1444.38/362.19	c HTE
1469.15/368.34	c subsumption
1471.54/368.93	c simplified formula contains 0 unit clauses
1497.12/375.34	c HTE
1521.88/381.58	c subsumption
1524.24/382.17	c simplified formula contains 0 unit clauses
1524.64/382.23	c received clause contains eliminated literal -149410
1549.81/388.59	c HTE
1574.57/394.71	c subsumption
1576.96/395.31	c simplified formula contains 0 unit clauses
1602.53/401.73	c HTE
1626.49/407.78	c subsumption
1628.89/408.37	c simplified formula contains 0 unit clauses
1629.29/408.42	c received clause contains eliminated literal -150610
1656.85/415.33	c HTE
1681.19/421.44	c subsumption
1683.57/422.03	c simplified formula contains 0 unit clauses
1683.57/422.09	c received clause contains eliminated literal -148210
1728.74/433.37	c HTE
1753.48/439.54	c subsumption
1755.87/440.12	c simplified formula contains 0 unit clauses
1755.87/440.18	c received clause contains eliminated literal -2289
1755.87/440.18	c received clause contains eliminated literal -68558
1782.63/446.83	c HTE
1808.60/453.33	c subsumption
1811.00/453.90	c simplified formula contains 0 unit clauses
1811.00/453.96	c received clause contains eliminated literal -1822
1838.16/460.72	c HTE
1864.12/467.23	c subsumption
1866.10/467.79	c simplified formula contains 0 unit clauses
1896.46/475.37	c HTE
1922.84/481.95	c subsumption
1925.63/482.61	c simplified formula contains 0 unit clauses
1925.63/482.66	c received clause contains eliminated literal -4900
1985.94/497.70	c HTE
2011.91/504.29	c subsumption
2016.30/505.36	c simplified formula contains 0 unit clauses
2043.86/512.22	c HTE
2070.62/518.98	c subsumption
2074.22/519.83	c simplified formula contains 0 unit clauses
2074.22/519.89	c received clause contains eliminated literal -67358
2100.58/526.42	c HTE
2125.74/532.76	c subsumption
2129.33/533.62	c simplified formula contains 0 unit clauses
2159.71/541.25	c added unsatisfied clause
2159.71/541.25	c failed to add network clauses
2196.84/550.53	c HTE
2224.41/557.46	c subsumption
2232.39/559.43	c simplified formula contains 0 unit clauses
2232.39/559.49	c received clause contains eliminated literal -98964
2258.76/566.01	c HTE
2283.13/572.17	c subsumption
2285.13/572.68	c simplified formula contains 0 unit clauses
2294.31/574.91	c received clause contains eliminated literal -154625
2297.90/575.89	c received clause contains eliminated literal 6048
2361.43/591.71	c HTE
2386.18/597.90	c subsumption
2394.97/600.18	c simplified formula contains 0 unit clauses
2419.33/606.21	c HTE
2459.68/616.36	c subsumption
2464.48/617.56	c simplified formula contains 0 unit clauses
2464.88/617.61	c received clause contains eliminated literal -67958
2488.03/623.49	c HTE
2511.22/629.22	c subsumption
2515.99/630.43	c simplified formula contains 0 unit clauses
2521.18/631.74	c received clause contains eliminated literal -65558
2585.92/647.94	c HTE
2609.87/654.00	c subsumption
2620.25/656.55	c simplified formula contains 0 unit clauses
2620.67/656.60	c received clause contains eliminated literal -58958
2620.67/656.60	c received clause contains eliminated literal -60158
2620.67/656.60	c received clause contains eliminated literal -54158
2620.67/656.60	c received clause contains eliminated literal -57758
2639.02/661.28	c received clause contains eliminated literal -56558
2685.76/672.99	c HTE
2714.12/680.07	c subsumption
2729.30/683.88	c simplified formula contains 0 unit clauses
2774.45/695.19	c received clause contains eliminated literal -61358
2831.59/709.44	c HTE
2860.32/716.64	c subsumption
2871.13/719.35	c simplified formula contains 0 unit clauses
3115.98/780.61	c HTE
3142.73/787.39	c subsumption
3170.69/794.30	c simplified formula contains 0 unit clauses
3181.88/797.15	c received clause contains eliminated literal -108106
3182.28/797.21	c received clause contains eliminated literal -104506
3222.22/807.21	c received clause contains eliminated literal -31282
3258.98/816.47	c HTE
3292.12/824.72	c subsumption
3324.09/832.71	c simplified formula contains 0 unit clauses
3345.65/838.17	c received clause contains eliminated literal -35558
3383.58/847.60	c received clause contains eliminated literal -57158
3494.63/875.45	c received clause contains eliminated literal -55958
3596.11/900.83	c received clause contains eliminated literal -53558
3658.03/916.39	c HTE
3697.95/926.38	c subsumption
3769.45/944.22	c simplified formula contains 0 unit clauses
3769.45/944.29	c received clause contains eliminated literal -34958
3769.45/944.29	c received clause contains eliminated literal -59558
3795.81/950.89	c received clause contains eliminated literal -63758
3852.93/965.16	c received clause contains eliminated literal -49358
3911.65/979.84	c received clause contains eliminated literal -51758
3987.94/998.90	c HTE
4029.48/1009.37	c subsumption
4069.44/1019.37	c simplified formula contains 0 unit clauses
4069.84/1019.43	c received clause contains eliminated literal -52358
4094.60/1025.63	c received clause contains eliminated literal -62558
4521.60/1132.59	c HTE
4558.77/1141.85	c subsumption
4591.90/1150.14	c simplified formula contains 0 unit clauses
4592.30/1150.20	c received clause contains eliminated literal -66910
4661.00/1167.43	c received clause contains eliminated literal -96564
4719.33/1182.00	c received clause contains eliminated literal -63158
4728.91/1184.40	c received clause contains eliminated literal -78827
4765.66/1193.68	c received clause contains eliminated literal -108564

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.02 8.17 8.11 5/182 20705
/proc/meminfo: memFree=13061620/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0

[startup+0.0454531 s]
/proc/loadavg: 8.02 8.17 8.11 5/182 20705
/proc/meminfo: memFree=13061620/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100446 s]
/proc/loadavg: 8.02 8.17 8.11 5/182 20705
/proc/meminfo: memFree=13061620/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300411 s]
/proc/loadavg: 8.02 8.17 8.11 5/182 20705
/proc/meminfo: memFree=13061620/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.705302 s]
/proc/loadavg: 8.02 8.17 8.11 5/182 20705
/proc/meminfo: memFree=13061620/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50116 s]
/proc/loadavg: 8.02 8.17 8.11 9/188 20711
/proc/meminfo: memFree=12470960/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=1157800 CPUtime=4.22 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 244244 0 0 0 366 56 0 0 20 0 5 0 515864922 1185587200 239208 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 289450 239209 344 389 0 285200 0
[pid=20706/tid=20708] ppid=20705 vsize=1157800 CPUtime=1.01 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 50932 0 0 0 89 12 0 0 18 0 5 0 515864967 1185587200 239210 33554432000 4194304 5787044 140733485092896 18446744073709551615 270612769030 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=1157800 CPUtime=0.91 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 46343 0 0 0 77 14 0 0 18 0 5 0 515864976 1185587200 239211 33554432000 4194304 5787044 140733485092896 18446744073709551615 4306210 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=1157800 CPUtime=0.81 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 43277 0 0 0 68 13 0 0 18 0 5 0 515864985 1185587200 239211 33554432000 4194304 5787044 140733485092896 18446744073709551615 270612777986 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=1157800 CPUtime=0.73 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 38790 0 0 0 66 7 0 0 18 0 5 0 515864995 1185587200 239211 33554432000 4194304 5787044 140733485092896 18446744073709551615 270612771525 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 1166500

[startup+3.10088 s]
/proc/loadavg: 8.18 8.20 8.12 9/188 20711
/proc/meminfo: memFree=12430920/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=847932 CPUtime=10.44 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 268155 0 0 0 982 62 0 0 20 0 5 0 515864922 868282368 159842 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 211983 159842 349 389 0 207733 0
[pid=20706/tid=20708] ppid=20705 vsize=847932 CPUtime=2.49 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 54629 0 0 0 236 13 0 0 18 0 5 0 515864967 868282368 159842 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=847932 CPUtime=2.46 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 50075 0 0 0 231 15 0 0 19 0 5 0 515864976 868282368 159842 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=847932 CPUtime=2.4 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 51155 0 0 0 225 15 0 0 20 0 5 0 515864985 868282368 159842 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=847932 CPUtime=2.33 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 47390 0 0 0 225 8 0 0 20 0 5 0 515864995 868282368 159842 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.44
Current children cumulated vsize (KiB) 856632

[startup+6.30032 s]
/proc/loadavg: 8.18 8.20 8.12 9/188 20711
/proc/meminfo: memFree=12420752/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=847932 CPUtime=23.22 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 268161 0 0 0 2260 62 0 0 20 0 5 0 515864922 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 211983 159848 349 389 0 207733 0
[pid=20706/tid=20708] ppid=20705 vsize=847932 CPUtime=5.69 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 54630 0 0 0 556 13 0 0 25 0 5 0 515864967 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=847932 CPUtime=5.66 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 50077 0 0 0 551 15 0 0 25 0 5 0 515864976 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=847932 CPUtime=5.58 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 51157 0 0 0 543 15 0 0 25 0 5 0 515864985 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=847932 CPUtime=5.53 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 47391 0 0 0 545 8 0 0 25 0 5 0 515864995 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.22
Current children cumulated vsize (KiB) 856632

[startup+12.7012 s]
/proc/loadavg: 8.15 8.20 8.12 9/188 20711
/proc/meminfo: memFree=12420892/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=847932 CPUtime=48.79 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 268161 0 0 0 4817 62 0 0 20 0 5 0 515864922 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 211983 159848 349 389 0 207733 0
[pid=20706/tid=20708] ppid=20705 vsize=847932 CPUtime=12.09 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 54630 0 0 0 1196 13 0 0 25 0 5 0 515864967 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=847932 CPUtime=12.06 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 50077 0 0 0 1191 15 0 0 25 0 5 0 515864976 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=847932 CPUtime=11.95 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 51157 0 0 0 1180 15 0 0 25 0 5 0 515864985 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=847932 CPUtime=11.93 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 47391 0 0 0 1185 8 0 0 25 0 5 0 515864995 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.79
Current children cumulated vsize (KiB) 856632

[startup+25.5009 s]
/proc/loadavg: 8.28 8.22 8.13 9/188 20711
/proc/meminfo: memFree=12421368/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=847932 CPUtime=99.91 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 268161 0 0 0 9929 62 0 0 20 0 5 0 515864922 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 211983 159848 349 389 0 207733 0
[pid=20706/tid=20708] ppid=20705 vsize=847932 CPUtime=24.89 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 54630 0 0 0 2476 13 0 0 25 0 5 0 515864967 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330572 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=847932 CPUtime=24.86 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 50077 0 0 0 2471 15 0 0 25 0 5 0 515864976 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=847932 CPUtime=24.67 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 51157 0 0 0 2452 15 0 0 25 0 5 0 515864985 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=847932 CPUtime=24.73 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 47391 0 0 0 2465 8 0 0 25 0 5 0 515864995 868282368 159848 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.91
Current children cumulated vsize (KiB) 856632

[startup+51.1004 s]
/proc/loadavg: 8.24 8.22 8.13 9/188 20712
/proc/meminfo: memFree=12244412/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=991280 CPUtime=202.14 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 312205 0 0 0 20124 90 0 0 20 0 5 0 515864922 1015070720 198023 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 247820 198023 352 389 0 243570 0
[pid=20706/tid=20708] ppid=20705 vsize=991280 CPUtime=50.47 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 62585 0 0 0 5027 20 0 0 25 0 5 0 515864967 1015070720 198023 33554432000 4194304 5787044 140733485092896 18446744073709551615 4276259 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=991280 CPUtime=50.46 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 62549 0 0 0 5025 21 0 0 25 0 5 0 515864976 1015070720 198023 33554432000 4194304 5787044 140733485092896 18446744073709551615 4276264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=991280 CPUtime=50.13 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 65853 0 0 0 4992 21 0 0 25 0 5 0 515864985 1015070720 198023 33554432000 4194304 5787044 140733485092896 18446744073709551615 4276264 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=991280 CPUtime=50.32 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 56312 0 0 0 5015 17 0 0 25 0 5 0 515864995 1015070720 198023 33554432000 4194304 5787044 140733485092896 18446744073709551615 270612765819 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.14
Current children cumulated vsize (KiB) 999980

[startup+102.307 s]
/proc/loadavg: 8.20 8.21 8.13 9/188 20714
/proc/meminfo: memFree=12108740/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=991544 CPUtime=406.69 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 731095 0 0 0 40490 179 0 0 20 0 5 0 515864922 1015341056 198305 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 247886 198305 352 389 0 243636 0
[pid=20706/tid=20708] ppid=20705 vsize=991544 CPUtime=101.68 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 195006 0 0 0 10122 46 0 0 25 0 5 0 515864967 1015341056 198305 33554432000 4194304 5787044 140733485092896 18446744073709551615 4276244 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=991544 CPUtime=101.67 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 216494 0 0 0 10111 56 0 0 25 0 5 0 515864976 1015341056 198305 33554432000 4194304 5787044 140733485092896 18446744073709551615 4276379 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=991544 CPUtime=101.05 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 198321 0 0 0 10056 49 0 0 25 0 5 0 515864985 1015341056 198305 33554432000 4194304 5787044 140733485092896 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=991544 CPUtime=101.53 cores=1,3,5,7

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

/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 639539 0 0 0 82010 155 0 0 25 0 5 0 515864976 1694433280 350606 33554432000 4194304 5787044 140733485092896 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=1654720 CPUtime=817.02 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 621593 0 0 0 81550 152 0 0 25 0 5 0 515864985 1694433280 350606 33554432000 4194304 5787044 140733485092896 18446744073709551615 270612759640 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=1654720 CPUtime=821.46 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 297006 0 0 0 82088 58 0 0 25 0 5 0 515864995 1694433280 350606 33554432000 4194304 5787044 140733485092896 18446744073709551615 4307762 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.55
Current children cumulated vsize (KiB) 1663420

[startup+882.301 s]
/proc/loadavg: 8.19 8.15 8.10 9/188 20799
/proc/meminfo: memFree=12208956/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=1589184 CPUtime=3522.19 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 2140787 0 0 0 351720 499 0 0 20 0 5 0 515864922 1627324416 344060 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 397296 344060 418 389 0 393046 0
[pid=20706/tid=20708] ppid=20705 vsize=1589184 CPUtime=881.64 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 517727 0 0 0 88041 123 0 0 25 0 5 0 515864967 1627324416 344060 33554432000 4194304 5787044 140733485092896 18446744073709551615 5586779 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=1589184 CPUtime=881.64 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 639539 0 0 0 88009 155 0 0 25 0 5 0 515864976 1627324416 344060 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=1589184 CPUtime=876.69 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 621609 0 0 0 87517 152 0 0 25 0 5 0 515864985 1627324416 344060 33554432000 4194304 5787044 140733485092896 18446744073709551615 4220663 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=1589184 CPUtime=881.47 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 297006 0 0 0 88088 59 0 0 25 0 5 0 515864995 1627324416 344060 33554432000 4194304 5787044 140733485092896 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3522.19
Current children cumulated vsize (KiB) 1597884

[startup+942.301 s]
/proc/loadavg: 8.19 8.15 8.10 9/188 20801
/proc/meminfo: memFree=12183772/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=1596908 CPUtime=3761.86 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 2149746 0 0 0 375684 502 0 0 20 0 5 0 515864922 1635233792 346953 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 399227 346953 418 389 0 394977 0
[pid=20706/tid=20708] ppid=20705 vsize=1596908 CPUtime=941.64 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 517727 0 0 0 94041 123 0 0 25 0 5 0 515864967 1635233792 346953 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=1596908 CPUtime=941.64 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 640269 0 0 0 94008 156 0 0 25 0 5 0 515864976 1635233792 346953 33554432000 4194304 5787044 140733485092896 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=1596908 CPUtime=936.35 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 621634 0 0 0 93483 152 0 0 25 0 5 0 515864985 1635233792 346953 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=1596908 CPUtime=941.47 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 305210 0 0 0 94086 61 0 0 25 0 5 0 515864995 1635233792 346953 33554432000 4194304 5787044 140733485092896 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3761.86
Current children cumulated vsize (KiB) 1605608

[startup+1002.3 s]
/proc/loadavg: 8.18 8.15 8.10 9/188 20802
/proc/meminfo: memFree=12153376/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=1596908 CPUtime=4001.53 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 2151315 0 0 0 399650 503 0 0 20 0 5 0 515864922 1635233792 348522 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 399227 348522 418 389 0 394977 0
[pid=20706/tid=20708] ppid=20705 vsize=1596908 CPUtime=1001.63 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 517729 0 0 0 100040 123 0 0 25 0 5 0 515864967 1635233792 348522 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591024 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=1596908 CPUtime=1001.64 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 640269 0 0 0 100008 156 0 0 25 0 5 0 515864976 1635233792 348522 33554432000 4194304 5787044 140733485092896 18446744073709551615 5590393 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=1596908 CPUtime=996.02 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 621657 0 0 0 99450 152 0 0 25 0 5 0 515864985 1635233792 348522 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=1596908 CPUtime=1001.47 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 306754 0 0 0 100086 61 0 0 25 0 5 0 515864995 1635233792 348522 33554432000 4194304 5787044 140733485092896 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4001.53
Current children cumulated vsize (KiB) 1605608

[startup+1062.3 s]
/proc/loadavg: 8.18 8.15 8.10 9/188 20804
/proc/meminfo: memFree=12089492/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=1692524 CPUtime=4241.19 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 2163417 0 0 0 423608 511 0 0 20 0 5 0 515864922 1733144576 357847 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 423131 357847 418 389 0 418881 0
[pid=20706/tid=20708] ppid=20705 vsize=1692524 CPUtime=1061.63 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 518418 0 0 0 106038 125 0 0 25 0 5 0 515864967 1733144576 357847 33554432000 4194304 5787044 140733485092896 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=1692524 CPUtime=1061.64 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 640269 0 0 0 106008 156 0 0 25 0 5 0 515864976 1733144576 357847 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=1692524 CPUtime=1055.69 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 622010 0 0 0 105416 153 0 0 25 0 5 0 515864985 1733144576 357847 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=1692524 CPUtime=1061.47 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 317814 0 0 0 106080 67 0 0 25 0 5 0 515864995 1733144576 357847 33554432000 4194304 5787044 140733485092896 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4241.19
Current children cumulated vsize (KiB) 1701224

[startup+1122.3 s]
/proc/loadavg: 8.16 8.15 8.09 9/188 20806
/proc/meminfo: memFree=12034020/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=1693580 CPUtime=4480.86 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 2175269 0 0 0 447559 527 0 0 20 0 5 0 515864922 1734225920 369699 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 423395 369699 418 389 0 419145 0
[pid=20706/tid=20708] ppid=20705 vsize=1693580 CPUtime=1121.63 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 519724 0 0 0 112037 126 0 0 25 0 5 0 515864967 1734225920 369699 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=1693580 CPUtime=1121.64 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 642188 0 0 0 112005 159 0 0 25 0 5 0 515864976 1734225920 369699 33554432000 4194304 5787044 140733485092896 18446744073709551615 5586731 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=1693580 CPUtime=1115.36 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 627354 0 0 0 111376 160 0 0 25 0 5 0 515864985 1734225920 369699 33554432000 4194304 5787044 140733485092896 18446744073709551615 4220208 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=1693580 CPUtime=1121.47 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 321097 0 0 0 112076 71 0 0 25 0 5 0 515864995 1734225920 369699 33554432000 4194304 5787044 140733485092896 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4480.86
Current children cumulated vsize (KiB) 1702280

[startup+1182.3 s]
/proc/loadavg: 8.16 8.15 8.09 9/188 20807
/proc/meminfo: memFree=12016608/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=1705436 CPUtime=4720.52 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 2186479 0 0 0 471521 531 0 0 20 0 5 0 515864922 1746366464 373539 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 426359 373539 418 389 0 422109 0
[pid=20706/tid=20708] ppid=20705 vsize=1705436 CPUtime=1181.62 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 519778 0 0 0 118036 126 0 0 25 0 5 0 515864967 1746366464 373539 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=1705436 CPUtime=1181.64 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 642243 0 0 0 118004 160 0 0 25 0 5 0 515864976 1746366464 373539 33554432000 4194304 5787044 140733485092896 18446744073709551615 4220362 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=1705436 CPUtime=1175.03 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 628609 0 0 0 117341 162 0 0 25 0 5 0 515864985 1746366464 373539 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=1705436 CPUtime=1181.47 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 330943 0 0 0 118074 73 0 0 25 0 5 0 515864995 1746366464 373539 33554432000 4194304 5787044 140733485092896 18446744073709551615 4213675 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4720.52
Current children cumulated vsize (KiB) 1714136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.18 8.16 8.09 9/188 20808
/proc/meminfo: memFree=12013000/32951124 swapFree=67111528/67111528
[pid=20705] ppid=20703 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (prissAuto.sh) S 20703 20705 19631 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515864922 8908800 252 33554432000 4194304 4922060 140736508335024 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20705/statm: 2175 252 211 178 0 68 0
[pid=20706] ppid=20705 vsize=1705436 CPUtime=4800.05 cores=1,3,5,7
/proc/20706/stat : 20706 (priss) S 20705 20705 19631 0 -1 4202496 2186602 0 0 0 479474 531 0 0 20 0 5 0 515864922 1746366464 373662 33554432000 4194304 5787044 140733485092896 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20706/statm: 426359 373662 418 389 0 422109 0
[pid=20706/tid=20708] ppid=20705 vsize=1705436 CPUtime=1201.54 cores=1,3,5,7
/proc/20706/task/20708/stat : 20708 (priss) R 20705 20705 19631 0 -1 4202560 519778 0 0 0 120028 126 0 0 25 0 5 0 515864967 1746366464 373662 33554432000 4194304 5787044 140733485092896 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20706/tid=20709] ppid=20705 vsize=1705436 CPUtime=1201.56 cores=1,3,5,7
/proc/20706/task/20709/stat : 20709 (priss) R 20705 20705 19631 0 -1 4202560 642243 0 0 0 119996 160 0 0 25 0 5 0 515864976 1746366464 373662 33554432000 4194304 5787044 140733485092896 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20706/tid=20710] ppid=20705 vsize=1705436 CPUtime=1194.82 cores=1,3,5,7
/proc/20706/task/20710/stat : 20710 (priss) R 20705 20705 19631 0 -1 4202560 628732 0 0 0 119320 162 0 0 25 0 5 0 515864985 1746366464 373662 33554432000 4194304 5787044 140733485092896 18446744073709551615 5586761 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=20706/tid=20711] ppid=20705 vsize=1705436 CPUtime=1201.38 cores=1,3,5,7
/proc/20706/task/20711/stat : 20711 (priss) R 20705 20705 19631 0 -1 4202560 330943 0 0 0 120065 73 0 0 25 0 5 0 515864995 1746366464 373662 33554432000 4194304 5787044 140733485092896 18446744073709551615 4228014 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1714136

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1202.23
CPU time (s): 4800.05
CPU user time (s): 4794.74
CPU system time (s): 5.31
CPU usage (%): 399.264
Max. virtual memory (cumulated for all children) (KiB): 1779672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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= 333
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= 6
involuntary context switches= 3

runsolver used 1.66475 second user time and 4.91925 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-29 04:04:00
IDJOB=3283408
IDBENCH=71036
IDSOLVER=1602
FILE ID=node108/3283408-1304042639
RUNJOBID= node108-1304037066-19650
PBS_JOBID= 13170368
Free space on /tmp= 72092 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283408-1304042639/watcher-3283408-1304042639 -o /tmp/evaluation-result-3283408-1304042639/solver-3283408-1304042639 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3283408-1304042639.cnf 120122951 4800 15500 4

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

MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=120122951

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13061768 kB
Buffers:       2295692 kB
Cached:       16135896 kB
SwapCached:          0 kB
Active:       11175412 kB
Inactive:      8130280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13061768 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           29240 kB
Writeback:           0 kB
AnonPages:      873344 kB
Mapped:          15684 kB
Slab:           519232 kB
PageTables:       6480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1069904 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= 72092 MiB
End job on node108 at 2011-04-29 04:24:04