Trace number 3283638

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.31 1202.22

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p1.cnf
MD5SUM6ace5cfbe110f1a43049037cb7432998
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 variables259234
Number of clauses1387934
Sum of the clauses size3351923
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2981661
Number of clauses of size 3327764
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: 971
0.00/0.00	c setup for 4cores
0.00/0.36	c parsetime: 361349us
0.00/0.36	c parsed 1387934 clauses with 259234 variables
0.00/0.45	c NW started thread 0 successfully (1086843200)
0.00/0.54	c NW started thread 1 successfully (1105467712)
0.00/0.64	c NW started thread 2 successfully (1115957568)
0.00/0.74	c NW started thread 3 successfully (1126447424)
896.84/225.09	c preprocessor returned 259234 variables
896.84/225.09	c preprocessing returned UNKNOWN
896.84/225.09	c PP set 63057 variables
896.84/225.09	c pp time: 224489796us (224s)
898.86/225.55	c preprocessor returned 259234 variables
898.86/225.55	c preprocessing returned UNKNOWN
898.86/225.55	c PP set 63057 variables
898.86/225.55	c pp time: 224828212us (224s)
900.83/226.09	c preprocessor returned 259234 variables
900.83/226.09	c preprocessing returned UNKNOWN
900.83/226.09	c PP set 63057 variables
900.83/226.09	c pp time: 225582535us (225s)
902.02/226.34	c preprocessor returned 259234 variables
902.02/226.34	c preprocessing returned UNKNOWN
902.02/226.34	c PP set 63057 variables
902.02/226.34	c pp time: 225536620us (225s)
933.19/234.10	c HTE
962.35/241.41	c subsumption
965.14/242.18	c simplified formula contains 0 unit clauses
993.50/249.29	c HTE
1018.27/255.46	c subsumption
1020.67/256.08	c simplified formula contains 0 unit clauses
1021.07/256.14	c received clause contains eliminated literal -115523
1021.07/256.14	c received clause contains eliminated literal -119503
1047.83/262.89	c HTE
1074.61/269.53	c subsumption
1076.99/270.12	c simplified formula contains 0 unit clauses
1076.99/270.18	c received clause contains eliminated literal -1237
1102.95/276.64	c HTE
1128.52/283.00	c subsumption
1130.52/283.57	c simplified formula contains 0 unit clauses
1130.92/283.62	c received clause contains eliminated literal -149789
1130.92/283.62	c received clause contains eliminated literal -147389
1130.92/283.62	c received clause contains eliminated literal -3637
1156.08/289.91	c HTE
1180.08/295.99	c subsumption
1182.45/296.55	c simplified formula contains 0 unit clauses
1209.21/303.29	c HTE
1235.17/309.77	c subsumption
1237.57/310.33	c simplified formula contains 0 unit clauses
1263.56/316.87	c HTE
1289.10/323.27	c subsumption
1291.11/323.79	c simplified formula contains 0 unit clauses
1316.67/330.18	c HTE
1341.44/336.39	c subsumption
1343.83/336.91	c simplified formula contains 0 unit clauses
1343.83/336.97	c received clause contains eliminated literal -155407
1368.60/343.17	c HTE
1393.36/349.32	c subsumption
1395.38/349.84	c simplified formula contains 0 unit clauses
1395.38/349.89	c received clause contains eliminated literal -21679
1395.38/349.89	c received clause contains eliminated literal -103163
1395.38/349.89	c received clause contains eliminated literal -155777
1428.11/358.09	c HTE
1453.68/364.40	c subsumption
1455.68/364.92	c simplified formula contains 0 unit clauses
1455.68/364.97	c received clause contains eliminated literal -149407
1481.24/371.36	c HTE
1506.01/377.52	c subsumption
1508.01/378.03	c simplified formula contains 0 unit clauses
1533.17/384.37	c HTE
1557.14/390.32	c subsumption
1559.14/390.84	c simplified formula contains 0 unit clauses
1583.91/397.04	c HTE
1607.86/403.02	c subsumption
1609.86/403.55	c simplified formula contains 0 unit clauses
1610.27/403.61	c received clause contains eliminated literal -150037
1610.27/403.61	c received clause contains eliminated literal -151837
1656.20/415.16	c HTE
1680.99/421.31	c subsumption
1682.96/421.82	c simplified formula contains 0 unit clauses
1682.96/421.87	c received clause contains eliminated literal -213206
1709.33/428.44	c HTE
1733.31/434.45	c subsumption
1735.69/435.03	c simplified formula contains 0 unit clauses
1735.69/435.09	c received clause contains eliminated literal -113723
1760.86/441.30	c HTE
1784.42/447.24	c subsumption
1786.44/447.79	c simplified formula contains 0 unit clauses
1796.80/450.36	c received clause contains eliminated literal -123643
1847.54/463.06	c HTE
1871.91/469.15	c subsumption
1875.90/470.19	c simplified formula contains 0 unit clauses
1904.67/477.30	c HTE
1928.62/483.32	c subsumption
1930.62/483.85	c simplified formula contains 0 unit clauses
2024.50/507.32	c HTE
2049.26/513.54	c subsumption
2057.25/515.59	c simplified formula contains 0 unit clauses
2082.81/521.94	c HTE
2107.20/528.01	c subsumption
2113.17/529.54	c simplified formula contains 0 unit clauses
2137.96/535.79	c HTE
2161.91/541.76	c subsumption
2167.90/543.28	c simplified formula contains 0 unit clauses
2168.31/543.33	c received clause contains eliminated literal -124843
2234.64/559.92	c HTE
2258.56/565.96	c subsumption
2264.16/567.35	c simplified formula contains 0 unit clauses
2294.11/574.81	c HTE
2319.27/581.15	c subsumption
2324.47/582.43	c simplified formula contains 0 unit clauses
2460.69/616.56	c received clause contains eliminated literal -64366
2486.26/622.99	c HTE
2514.21/629.95	c subsumption
2536.59/635.56	c simplified formula contains 0 unit clauses
2536.99/635.62	c received clause contains eliminated literal -64163
2558.56/641.05	c received clause contains eliminated literal -83123
2568.56/643.54	c received clause contains eliminated literal -116723
2617.68/655.88	c HTE
2642.44/662.02	c subsumption
2651.64/664.33	c simplified formula contains 0 unit clauses
2651.64/664.39	c received clause contains eliminated literal -28366
2651.64/664.39	c received clause contains eliminated literal -2097
2772.66/694.68	c HTE
2805.43/702.90	c subsumption
2834.98/710.21	c simplified formula contains 0 unit clauses
2834.98/710.27	c received clause contains eliminated literal -96703
2834.98/710.27	c received clause contains eliminated literal -118178
2834.98/710.27	c received clause contains eliminated literal -109303
2834.98/710.27	c received clause contains eliminated literal -63766
2861.34/716.87	c HTE
2893.72/724.99	c subsumption
2915.69/730.48	c simplified formula contains 0 unit clauses
2916.07/730.54	c received clause contains eliminated literal -106903
2916.07/730.54	c received clause contains eliminated literal -114923
2916.07/730.54	c received clause contains eliminated literal -98589
2923.66/732.43	c received clause contains eliminated literal -101963
2980.39/746.60	c HTE
3017.53/755.98	c subsumption
3057.47/765.99	c simplified formula contains 0 unit clauses
3057.87/766.05	c received clause contains eliminated literal -126043
3057.87/766.05	c received clause contains eliminated literal -81703
3057.87/766.05	c received clause contains eliminated literal -100163
3069.07/768.84	c received clause contains eliminated literal -33766
3131.00/784.30	c HTE
3157.36/790.94	c subsumption
3174.53/795.29	c simplified formula contains 0 unit clauses
3174.94/795.35	c received clause contains eliminated literal -108103
3223.27/807.44	c HTE
3249.64/814.04	c subsumption
3267.59/818.51	c simplified formula contains 0 unit clauses
3267.59/818.57	c received clause contains eliminated literal -112213
3267.59/818.57	c received clause contains eliminated literal -120643
3267.59/818.57	c received clause contains eliminated literal -65566
3470.52/869.35	c HTE
3519.26/881.51	c subsumption
3582.37/897.33	c simplified formula contains 0 unit clauses
3582.37/897.39	c received clause contains eliminated literal -82903
3594.36/900.33	c received clause contains eliminated literal -111703
3605.16/903.08	c received clause contains eliminated literal -92503
3623.92/907.73	c received clause contains eliminated literal -30766
3702.60/927.46	c received clause contains eliminated literal -90103
3753.74/940.23	c received clause contains eliminated literal -112523
3801.67/952.21	c HTE
3842.44/962.49	c subsumption
3895.16/975.69	c simplified formula contains 0 unit clauses
3895.57/975.76	c received clause contains eliminated literal -67460
3954.27/990.48	c HTE
3981.83/997.32	c subsumption
4028.57/1009.00	c simplified formula contains 0 unit clauses
4028.57/1009.07	c received clause contains eliminated literal -113503
4028.57/1009.07	c received clause contains eliminated literal -29566
4054.94/1015.66	c HTE
4091.25/1024.77	c subsumption
4133.19/1035.25	c simplified formula contains 0 unit clauses
4133.59/1035.31	c received clause contains eliminated literal -97989
4213.08/1055.23	c received clause contains eliminated literal -61366
4241.44/1062.31	c received clause contains eliminated literal -45323
4321.75/1082.49	c received clause contains eliminated literal -31366
4490.71/1124.75	c HTE
4529.05/1134.32	c subsumption
4598.58/1151.74	c simplified formula contains 0 unit clauses
4598.95/1151.81	c received clause contains eliminated literal -99189
4598.95/1151.81	c received clause contains eliminated literal -101503
4598.95/1151.81	c received clause contains eliminated literal -105703
4598.95/1151.81	c received clause contains eliminated literal -103303
4662.47/1167.72	c received clause contains eliminated literal -28966
4694.43/1175.74	c HTE
4741.16/1187.50	c subsumption

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-3283638-1304042841/watcher-3283638-1304042841 -o /tmp/evaluation-result-3283638-1304042841/solver-3283638-1304042841 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3283638-1304042841.cnf 732064609 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: 7.91 8.18 8.12 7/186 970
/proc/meminfo: memFree=21477932/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0

[startup+0.047306 s]
/proc/loadavg: 7.91 8.18 8.12 7/186 970
/proc/meminfo: memFree=21477932/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100294 s]
/proc/loadavg: 7.91 8.18 8.12 7/186 970
/proc/meminfo: memFree=21477932/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300261 s]
/proc/loadavg: 7.91 8.18 8.12 7/186 970
/proc/meminfo: memFree=21477932/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70123 s]
/proc/loadavg: 7.91 8.18 8.12 7/186 970
/proc/meminfo: memFree=21477932/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50099 s]
/proc/loadavg: 7.91 8.18 8.12 9/192 976
/proc/meminfo: memFree=20885688/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1136208 CPUtime=4.17 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 249209 0 0 0 362 55 0 0 19 0 5 0 515882078 1163476992 241160 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 284052 241161 344 389 0 279802 0
[pid=971/tid=973] ppid=970 vsize=1136208 CPUtime=0.99 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 51556 0 0 0 84 15 0 0 18 0 5 0 515882123 1163476992 241162 33554432000 4194304 5787044 140733849779184 18446744073709551615 47901315515543 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=1136208 CPUtime=0.91 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 48541 0 0 0 77 14 0 0 18 0 5 0 515882132 1163476992 241162 33554432000 4194304 5787044 140733849779184 18446744073709551615 255376957447 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1136208 CPUtime=0.8 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 45006 0 0 0 73 7 0 0 18 0 5 0 515882143 1163476992 241163 33554432000 4194304 5787044 140733849779184 18446744073709551615 4306447 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=1136208 CPUtime=0.71 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 39467 0 0 0 61 10 0 0 18 0 5 0 515882153 1163476992 241165 33554432000 4194304 5787044 140733849779184 18446744073709551615 255376962593 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 1144908

[startup+3.1007 s]
/proc/loadavg: 7.91 8.18 8.12 10/192 976
/proc/meminfo: memFree=20848372/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=872112 CPUtime=10.48 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 272715 0 0 0 987 61 0 0 19 0 5 0 515882078 893042688 161249 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 218028 161249 349 389 0 213778 0
[pid=971/tid=973] ppid=970 vsize=872112 CPUtime=2.5 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 55273 0 0 0 234 16 0 0 19 0 5 0 515882123 893042688 161249 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=872112 CPUtime=2.51 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 52285 0 0 0 236 15 0 0 20 0 5 0 515882132 893042688 161249 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=872112 CPUtime=2.4 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 48753 0 0 0 232 8 0 0 20 0 5 0 515882143 893042688 161249 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=872112 CPUtime=2.32 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 51760 0 0 0 218 14 0 0 20 0 5 0 515882153 893042688 161249 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.48
Current children cumulated vsize (KiB) 880812

[startup+6.3011 s]
/proc/loadavg: 7.92 8.17 8.12 9/192 976
/proc/meminfo: memFree=20830888/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=872112 CPUtime=23.26 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 272720 0 0 0 2265 61 0 0 19 0 5 0 515882078 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 218028 161254 349 389 0 213778 0
[pid=971/tid=973] ppid=970 vsize=872112 CPUtime=5.68 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 55274 0 0 0 552 16 0 0 25 0 5 0 515882123 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=872112 CPUtime=5.71 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 52287 0 0 0 556 15 0 0 25 0 5 0 515882132 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=872112 CPUtime=5.6 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 48754 0 0 0 552 8 0 0 25 0 5 0 515882143 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=872112 CPUtime=5.52 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 51761 0 0 0 538 14 0 0 25 0 5 0 515882153 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.26
Current children cumulated vsize (KiB) 880812

[startup+12.7009 s]
/proc/loadavg: 7.92 8.17 8.12 9/192 977
/proc/meminfo: memFree=20821604/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=872112 CPUtime=48.83 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 272720 0 0 0 4822 61 0 0 19 0 5 0 515882078 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 218028 161254 349 389 0 213778 0
[pid=971/tid=973] ppid=970 vsize=872112 CPUtime=12.05 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 55274 0 0 0 1189 16 0 0 25 0 5 0 515882123 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=872112 CPUtime=12.11 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 52287 0 0 0 1196 15 0 0 25 0 5 0 515882132 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=872112 CPUtime=12 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 48754 0 0 0 1192 8 0 0 25 0 5 0 515882143 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=872112 CPUtime=11.92 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 51761 0 0 0 1178 14 0 0 25 0 5 0 515882153 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.83
Current children cumulated vsize (KiB) 880812

[startup+25.5005 s]
/proc/loadavg: 8.17 8.21 8.13 9/192 977
/proc/meminfo: memFree=20820324/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=872112 CPUtime=99.95 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 272720 0 0 0 9934 61 0 0 19 0 5 0 515882078 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 218028 161254 349 389 0 213778 0
[pid=971/tid=973] ppid=970 vsize=872112 CPUtime=24.77 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 55274 0 0 0 2461 16 0 0 25 0 5 0 515882123 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330549 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=872112 CPUtime=24.91 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 52287 0 0 0 2476 15 0 0 25 0 5 0 515882132 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330559 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=872112 CPUtime=24.8 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 48754 0 0 0 2472 8 0 0 25 0 5 0 515882143 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=872112 CPUtime=24.72 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 51761 0 0 0 2458 14 0 0 25 0 5 0 515882153 893042688 161254 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (KiB) 880812

[startup+51.1008 s]
/proc/loadavg: 8.18 8.21 8.13 9/192 978
/proc/meminfo: memFree=20656848/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1094616 CPUtime=202.19 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 319373 0 0 0 20124 95 0 0 19 0 5 0 515882078 1120886784 201996 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 273654 201996 352 389 0 269404 0
[pid=971/tid=973] ppid=970 vsize=1094616 CPUtime=50.24 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 62237 0 0 0 5004 20 0 0 25 0 5 0 515882123 1120886784 201996 33554432000 4194304 5787044 140733849779184 18446744073709551615 4276259 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=1094616 CPUtime=50.5 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 64419 0 0 0 5025 25 0 0 25 0 5 0 515882132 1120886784 201996 33554432000 4194304 5787044 140733849779184 18446744073709551615 4276379 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1094616 CPUtime=50.39 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 60998 0 0 0 5021 18 0 0 25 0 5 0 515882143 1120886784 201996 33554432000 4194304 5787044 140733849779184 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=1094616 CPUtime=50.31 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 67075 0 0 0 5007 24 0 0 25 0 5 0 515882153 1120886784 201996 33554432000 4194304 5787044 140733849779184 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.19
Current children cumulated vsize (KiB) 1103316

[startup+102.307 s]
/proc/loadavg: 8.20 8.22 8.14 9/192 979
/proc/meminfo: memFree=20646744/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1094748 CPUtime=406.73 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 481905 0 0 0 40531 142 0 0 19 0 5 0 515882078 1121021952 202210 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 273687 202212 352 389 0 269437 0
[pid=971/tid=973] ppid=970 vsize=1094748 CPUtime=101.16 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 62291 0 0 0 10096 20 0 0 25 0 5 0 515882123 1121021952 202215 33554432000 4194304 5787044 140733849779184 18446744073709551615 4275920 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=1094748 CPUtime=101.71 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 118117 0 0 0 10127 44 0 0 25 0 5 0 515882132 1121021952 202217 33554432000 4194304 5787044 140733849779184 18446744073709551615 255376962593 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1094748 CPUtime=101.6 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 116708 0 0 0 10125 35 0 0 25 0 5 0 515882143 1121021952 202221 33554432000 4194304 5787044 140733849779184 18446744073709551615 4276512 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=1094748 CPUtime=101.52 cores=1,3,5,7

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

/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 544812 0 0 0 82020 150 0 0 25 0 5 0 515882132 1617563648 335078 33554432000 4194304 5787044 140733849779184 18446744073709551615 5590260 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1579652 CPUtime=821.59 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 542311 0 0 0 82011 148 0 0 25 0 5 0 515882143 1617563648 335078 33554432000 4194304 5787044 140733849779184 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=1579652 CPUtime=821.51 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 911757 0 0 0 81957 194 0 0 25 0 5 0 515882153 1617563648 335078 33554432000 4194304 5787044 140733849779184 18446744073709551615 5526880 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.77
Current children cumulated vsize (KiB) 1588352

[startup+882.301 s]
/proc/loadavg: 8.23 8.22 8.15 9/192 1193
/proc/meminfo: memFree=20613044/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1590924 CPUtime=3522.45 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 2168336 0 0 0 351712 533 0 0 19 0 5 0 515882078 1629106176 339344 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 397731 339344 418 389 0 393481 0
[pid=971/tid=973] ppid=970 vsize=1590924 CPUtime=876.87 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 98025 0 0 0 87658 29 0 0 25 0 5 0 515882123 1629106176 339344 33554432000 4194304 5787044 140733849779184 18446744073709551615 5590526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=1590924 CPUtime=881.71 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 544815 0 0 0 88020 151 0 0 25 0 5 0 515882132 1629106176 339344 33554432000 4194304 5787044 140733849779184 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1590924 CPUtime=881.59 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 542337 0 0 0 88011 148 0 0 25 0 5 0 515882143 1629106176 339344 33554432000 4194304 5787044 140733849779184 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=1590924 CPUtime=881.51 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 918515 0 0 0 87956 195 0 0 25 0 5 0 515882153 1629106176 339344 33554432000 4194304 5787044 140733849779184 18446744073709551615 4336986 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3522.45
Current children cumulated vsize (KiB) 1599624

[startup+942.301 s]
/proc/loadavg: 8.12 8.19 8.14 10/192 1194
/proc/meminfo: memFree=20521276/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1590924 CPUtime=3762.13 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 2174349 0 0 0 375676 537 0 0 19 0 5 0 515882078 1629106176 345357 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 397731 345357 418 389 0 393481 0
[pid=971/tid=973] ppid=970 vsize=1590924 CPUtime=936.55 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 99670 0 0 0 93624 31 0 0 25 0 5 0 515882123 1629106176 345357 33554432000 4194304 5787044 140733849779184 18446744073709551615 5591661 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=1590924 CPUtime=941.71 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 546389 0 0 0 94019 152 0 0 25 0 5 0 515882132 1629106176 345357 33554432000 4194304 5787044 140733849779184 18446744073709551615 5588157 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1590924 CPUtime=941.58 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 544900 0 0 0 94009 149 0 0 25 0 5 0 515882143 1629106176 345357 33554432000 4194304 5787044 140733849779184 18446744073709551615 5585255 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=1590924 CPUtime=941.52 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 918746 0 0 0 93956 196 0 0 25 0 5 0 515882153 1629106176 345357 33554432000 4194304 5787044 140733849779184 18446744073709551615 4220412 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3762.13
Current children cumulated vsize (KiB) 1599624

[startup+1002.3 s]
/proc/loadavg: 8.14 8.19 8.14 9/192 1196
/proc/meminfo: memFree=20427264/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1778476 CPUtime=4001.8 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 2213371 0 0 0 399628 552 0 0 19 0 5 0 515882078 1821159424 365325 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 444619 365325 418 389 0 440369 0
[pid=971/tid=973] ppid=970 vsize=1778476 CPUtime=996.23 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 103681 0 0 0 99588 35 0 0 25 0 5 0 515882123 1821159424 365325 33554432000 4194304 5787044 140733849779184 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=974] ppid=970 vsize=1778476 CPUtime=1001.71 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 550476 0 0 0 100015 156 0 0 25 0 5 0 515882132 1821159424 365325 33554432000 4194304 5787044 140733849779184 18446744073709551615 4213755 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1778476 CPUtime=1001.59 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 549120 0 0 0 100006 153 0 0 25 0 5 0 515882143 1821159424 365325 33554432000 4194304 5787044 140733849779184 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=976] ppid=970 vsize=1778476 CPUtime=1001.51 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 945450 0 0 0 99951 200 0 0 25 0 5 0 515882153 1821159424 365325 33554432000 4194304 5787044 140733849779184 18446744073709551615 4336718 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4001.8
Current children cumulated vsize (KiB) 1787176

[startup+1062.3 s]
/proc/loadavg: 8.31 8.21 8.15 9/192 1198
/proc/meminfo: memFree=20292456/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1811376 CPUtime=4241.44 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 2232899 0 0 0 423585 559 0 0 19 0 5 0 515882078 1854849024 378788 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 452844 378788 418 389 0 448594 0
[pid=971/tid=973] ppid=970 vsize=1811376 CPUtime=1056.12 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 105717 0 0 0 105575 37 0 0 25 0 5 0 515882123 1854849024 378788 33554432000 4194304 5787044 140733849779184 18446744073709551615 5590550 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=974] ppid=970 vsize=1811376 CPUtime=1061.71 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 552324 0 0 0 106013 158 0 0 25 0 5 0 515882132 1854849024 378788 33554432000 4194304 5787044 140733849779184 18446744073709551615 5585234 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1811376 CPUtime=1061.34 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 549745 0 0 0 105981 153 0 0 25 0 5 0 515882143 1854849024 378788 33554432000 4194304 5787044 140733849779184 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=976] ppid=970 vsize=1811376 CPUtime=1061.51 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 960469 0 0 0 105949 202 0 0 25 0 5 0 515882153 1854849024 378788 33554432000 4194304 5787044 140733849779184 18446744073709551615 5527019 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4241.44
Current children cumulated vsize (KiB) 1820076

[startup+1122.3 s]
/proc/loadavg: 8.17 8.19 8.15 9/192 1199
/proc/meminfo: memFree=20276568/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1811376 CPUtime=4481.12 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 2232910 0 0 0 447553 559 0 0 19 0 5 0 515882078 1854849024 378799 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 452844 378799 418 389 0 448594 0
[pid=971/tid=973] ppid=970 vsize=1811376 CPUtime=1116.12 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 105717 0 0 0 111575 37 0 0 25 0 5 0 515882123 1854849024 378799 33554432000 4194304 5787044 140733849779184 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=974] ppid=970 vsize=1811376 CPUtime=1121.71 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 552324 0 0 0 112013 158 0 0 25 0 5 0 515882132 1854849024 378799 33554432000 4194304 5787044 140733849779184 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1811376 CPUtime=1121.01 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 549751 0 0 0 111948 153 0 0 25 0 5 0 515882143 1854849024 378799 33554432000 4194304 5787044 140733849779184 18446744073709551615 4254537 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=976] ppid=970 vsize=1811376 CPUtime=1121.52 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 960474 0 0 0 111949 203 0 0 25 0 5 0 515882153 1854849024 378799 33554432000 4194304 5787044 140733849779184 18446744073709551615 4330494 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4481.12
Current children cumulated vsize (KiB) 1820076

[startup+1182.3 s]
/proc/loadavg: 8.11 8.17 8.14 10/192 1201
/proc/meminfo: memFree=20272952/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1811376 CPUtime=4720.79 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 2249214 0 0 0 471516 563 0 0 19 0 5 0 515882078 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 452844 379216 418 389 0 448594 0
[pid=971/tid=973] ppid=970 vsize=1811376 CPUtime=1176.12 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 105717 0 0 0 117575 37 0 0 25 0 5 0 515882123 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 5591539 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=974] ppid=970 vsize=1811376 CPUtime=1181.71 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 552325 0 0 0 118013 158 0 0 25 0 5 0 515882132 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1811376 CPUtime=1180.68 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 549755 0 0 0 117915 153 0 0 25 0 5 0 515882143 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=976] ppid=970 vsize=1811376 CPUtime=1181.52 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 976773 0 0 0 117946 206 0 0 25 0 5 0 515882153 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 4319827 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4720.79
Current children cumulated vsize (KiB) 1820076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.08 8.15 8.14 9/192 1201
/proc/meminfo: memFree=20246032/32951124 swapFree=67111524/67111528
[pid=970] ppid=968 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/970/stat : 970 (prissAuto.sh) S 968 970 32466 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515882078 8908800 252 33554432000 4194304 4922060 140736685213296 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/970/statm: 2175 252 211 178 0 68 0
[pid=971] ppid=970 vsize=1811376 CPUtime=4800.31 cores=1,3,5,7
/proc/971/stat : 971 (priss) S 970 970 32466 0 -1 4202496 2249214 0 0 0 479468 563 0 0 19 0 5 0 515882078 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/971/statm: 452844 379216 418 389 0 448594 0
[pid=971/tid=973] ppid=970 vsize=1811376 CPUtime=1196.03 cores=1,3,5,7
/proc/971/task/973/stat : 973 (priss) R 970 970 32466 0 -1 4202560 105717 0 0 0 119566 37 0 0 25 0 5 0 515882123 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 5590646 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=971/tid=974] ppid=970 vsize=1811376 CPUtime=1201.62 cores=1,3,5,7
/proc/971/task/974/stat : 974 (priss) R 970 970 32466 0 -1 4202560 552325 0 0 0 120004 158 0 0 25 0 5 0 515882132 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=971/tid=975] ppid=970 vsize=1811376 CPUtime=1200.48 cores=1,3,5,7
/proc/971/task/975/stat : 975 (priss) R 970 970 32466 0 -1 4202560 549755 0 0 0 119894 154 0 0 25 0 5 0 515882143 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=971/tid=976] ppid=970 vsize=1811376 CPUtime=1201.43 cores=1,3,5,7
/proc/971/task/976/stat : 976 (priss) R 970 970 32466 0 -1 4202560 976773 0 0 0 119937 206 0 0 25 0 5 0 515882153 1854849024 379216 33554432000 4194304 5787044 140733849779184 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1820076

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 970 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.31
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1202.22
CPU time (s): 4800.31
CPU user time (s): 4794.68
CPU system time (s): 5.63
CPU usage (%): 399.286
Max. virtual memory (cumulated for all children) (KiB): 1820076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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.64575 second user time and 4.94325 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-29 04:07:22
IDJOB=3283638
IDBENCH=71055
IDSOLVER=1602
FILE ID=node135/3283638-1304042841
RUNJOBID= node135-1304038950-32485
PBS_JOBID= 13170376
Free space on /tmp= 71076 MiB

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

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

MD5SUM BENCH= 6ace5cfbe110f1a43049037cb7432998
RANDOM SEED=732064609

node135.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.851
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.70
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.851
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.83
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.851
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21478088 kB
Buffers:       1828724 kB
Cached:        8154852 kB
SwapCached:          4 kB
Active:        3274744 kB
Inactive:      7604380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21478088 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           27996 kB
Writeback:           0 kB
AnonPages:      895372 kB
Mapped:          15684 kB
Slab:           529092 kB
PageTables:       6068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1182556 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71088 MiB
End job on node135 at 2011-04-29 04:27:26