Trace number 3281476

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

General information on the benchmark

NameSAT_RACE08/Q1/
SAT_dat.k85.cnf
MD5SUMdce41996d9c5153aa0c253fa128d227c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark43.2814
Satisfiable
(Un)Satisfiability was proved
Number of variables181484
Number of clauses890298
Sum of the clauses size2349692
Maximum clause length19
Minimum clause length1
Number of clauses of size 1771
Number of clauses of size 2667172
Number of clauses of size 3144951
Number of clauses of size 424791
Number of clauses of size 510950
Number of clauses of size over 541663

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: 32553
0.00/0.00	c setup for 4cores
0.00/0.28	c parsetime: 284245us
0.00/0.28	c parsed 890298 clauses with 181484 variables
0.00/0.34	c NW started thread 0 successfully (1102813504)
0.00/0.41	c NW started thread 1 successfully (1113303360)
0.00/0.48	c NW started thread 2 successfully (1123793216)
0.00/0.58	c NW started thread 3 successfully (1087023424)
37.79/9.98	c preprocessor returned 181484 variables
37.79/9.98	c preprocessing returned UNKNOWN
37.79/9.98	c PP set 7363 variables
37.79/9.98	c pp time: 9597939us (9s)
38.16/10.01	c preprocessor returned 181484 variables
38.16/10.01	c preprocessing returned UNKNOWN
38.16/10.01	c PP set 7363 variables
38.16/10.01	c pp time: 9553907us (9s)
38.57/10.11	c preprocessor returned 181484 variables
38.57/10.11	c preprocessing returned UNKNOWN
38.57/10.11	c PP set 7363 variables
38.57/10.11	c pp time: 9590760us (9s)
38.57/10.13	c preprocessor returned 181484 variables
38.57/10.13	c preprocessing returned UNKNOWN
38.57/10.13	c PP set 7363 variables
38.57/10.13	c pp time: 9497877us (9s)
41.78/10.92	c HTE
43.35/11.39	c subsumption
45.36/11.89	c simplified formula contains 0 unit clauses
45.76/11.93	c received clause contains eliminated literal 5572
45.76/11.93	c received clause contains eliminated literal -10702
66.93/17.25	c HTE
68.93/17.73	c subsumption
70.93/18.26	c simplified formula contains 0 unit clauses
71.33/18.30	c received clause contains eliminated literal -14972
71.33/18.30	c received clause contains eliminated literal -11708
71.33/18.30	c received clause contains eliminated literal 10673
73.32/18.85	c HTE
75.31/19.32	c subsumption
77.33/19.85	c simplified formula contains 0 unit clauses
83.70/21.46	c added unsatisfied clause
83.70/21.46	c failed to add network clauses
92.89/23.78	c added unsatisfied clause
92.89/23.78	c failed to add network clauses
98.49/25.13	c added unsatisfied clause
98.49/25.13	c failed to add network clauses
113.66/28.96	c added unsatisfied clause
113.66/28.96	c failed to add network clauses
115.26/29.31	c added unsatisfied clause
115.26/29.31	c failed to add network clauses
120.87/30.71	c added unsatisfied clause
120.87/30.71	c failed to add network clauses
142.84/36.28	c received clause contains eliminated literal -9380
168.38/42.68	c added unsatisfied clause
168.38/42.68	c failed to add network clauses
438.39/110.23	c added unsatisfied clause
438.39/110.23	c failed to add network clauses
467.56/117.60	c added unsatisfied clause
467.56/117.60	c failed to add network clauses
471.95/118.68	c added unsatisfied clause
471.95/118.68	c failed to add network clauses
696.04/174.80	c HTE
704.81/176.93	c subsumption
716.00/179.70	c simplified formula contains 0 unit clauses
722.38/181.38	c received clause contains eliminated literal 92832
733.16/184.04	c received clause contains eliminated literal 94967
781.10/196.02	c added unsatisfied clause
781.10/196.02	c failed to add network clauses
781.10/196.02	c added unsatisfied clause
781.10/196.02	c failed to add network clauses
808.26/202.87	c received clause contains eliminated literal 18142
960.83/241.04	c added unsatisfied clause
960.83/241.04	c failed to add network clauses
1059.51/265.78	c added unsatisfied clause
1059.51/265.78	c failed to add network clauses
1209.31/303.23	c received clause contains eliminated literal -15627
1274.81/319.66	c received clause contains eliminated literal -7731
1298.40/325.60	c received clause contains eliminated literal -15507
1743.74/437.09	c received clause contains eliminated literal 60823
1905.51/477.51	c received clause contains eliminated literal -19242
2298.97/576.04	c received clause contains eliminated literal 50153
2421.58/606.75	c received clause contains eliminated literal -109441
2446.35/612.91	c received clause contains eliminated literal -15497
2662.06/666.91	c received clause contains eliminated literal -15771
3027.96/758.57	c received clause contains eliminated literal 52287
3283.22/822.42	c added unsatisfied clause
3283.22/822.42	c failed to add network clauses
3310.38/829.26	c received clause contains eliminated literal -15702
3341.14/836.95	c HTE
3459.76/866.67	c subsumption
3464.16/867.70	c added unsatisfied clause
3464.16/867.70	c failed to add network clauses
3464.16/867.75	c added unsatisfied clause
3464.16/867.75	c failed to add network clauses
3963.82/992.86	c simplified formula contains 0 unit clauses
3964.62/993.07	c received clause contains eliminated literal 144049
3964.62/993.07	c received clause contains eliminated literal -71480
3964.62/993.07	c received clause contains eliminated literal -13482
4057.70/1016.37	c added unsatisfied clause
4057.70/1016.37	c failed to add network clauses
4238.63/1061.61	c received clause contains eliminated literal -52274
4356.08/1091.03	c received clause contains eliminated literal -137634
4368.47/1094.11	c received clause contains eliminated literal -15595
4380.05/1097.07	c added unsatisfied clause
4380.05/1097.07	c failed to add network clauses
4463.53/1117.96	c received clause contains eliminated literal -9966
4552.62/1140.28	c added unsatisfied clause
4552.62/1140.28	c failed to add network clauses
4692.42/1175.26	c added unsatisfied clause
4692.42/1175.26	c failed to add network clauses

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281476-1304039228/watcher-3281476-1304039228 -o /tmp/evaluation-result-3281476-1304039228/solver-3281476-1304039228 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3281476-1304039228.cnf 175151569 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 6.91 6.45 5/186 32552
/proc/meminfo: memFree=21549388/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0

[startup+0.0784641 s]
/proc/loadavg: 7.91 6.91 6.45 5/186 32552
/proc/meminfo: memFree=21549388/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100458 s]
/proc/loadavg: 7.91 6.91 6.45 5/186 32552
/proc/meminfo: memFree=21549388/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300429 s]
/proc/loadavg: 7.91 6.91 6.45 5/186 32552
/proc/meminfo: memFree=21549388/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700311 s]
/proc/loadavg: 7.91 6.91 6.45 5/186 32552
/proc/meminfo: memFree=21549388/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50116 s]
/proc/loadavg: 7.91 6.91 6.45 9/192 32558
/proc/meminfo: memFree=20842168/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=833164 CPUtime=4.36 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 187044 0 0 0 388 48 0 0 18 0 5 0 515520721 853159936 156480 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 208291 156480 349 389 0 204041 0
[pid=32553/tid=32555] ppid=32552 vsize=833164 CPUtime=1.06 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 37711 0 0 0 95 11 0 0 18 0 5 0 515520756 853159936 156480 33554432000 4194304 5787044 140735758010800 18446744073709551615 4326881 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=833164 CPUtime=0.99 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 37618 0 0 0 88 11 0 0 18 0 5 0 515520762 853159936 156480 33554432000 4194304 5787044 140735758010800 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=833164 CPUtime=0.9 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 35538 0 0 0 80 10 0 0 18 0 5 0 515520769 853159936 156480 33554432000 4194304 5787044 140735758010800 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=833164 CPUtime=0.83 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 33245 0 0 0 74 9 0 0 18 0 5 0 515520779 853159936 156480 33554432000 4194304 5787044 140735758010800 18446744073709551615 4330666 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 841864

[startup+3.10086 s]
/proc/loadavg: 7.91 6.91 6.45 9/192 32558
/proc/meminfo: memFree=20916692/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=891740 CPUtime=10.72 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 196221 0 0 0 1001 71 0 0 18 0 5 0 515520721 913141760 163917 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 222935 163917 351 389 0 218685 0
[pid=32553/tid=32555] ppid=32552 vsize=891740 CPUtime=2.66 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 41706 0 0 0 250 16 0 0 18 0 5 0 515520756 913141760 163917 33554432000 4194304 5787044 140735758010800 18446744073709551615 4336131 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=891740 CPUtime=2.58 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 39342 0 0 0 242 16 0 0 18 0 5 0 515520762 913141760 163917 33554432000 4194304 5787044 140735758010800 18446744073709551615 18446744073699065949 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=891740 CPUtime=2.47 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 38591 0 0 0 231 16 0 0 18 0 5 0 515520769 913141760 163917 33554432000 4194304 5787044 140735758010800 18446744073709551615 18446744073699065904 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=891740 CPUtime=2.43 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 33650 0 0 0 227 16 0 0 18 0 5 0 515520779 913141760 163917 33554432000 4194304 5787044 140735758010800 18446744073709551615 4340713 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 900440

[startup+6.30127 s]
/proc/loadavg: 8.00 6.94 6.46 9/192 32558
/proc/meminfo: memFree=20871508/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=957276 CPUtime=23.5 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 201513 0 0 0 2277 73 0 0 18 0 5 0 515520721 980250624 169209 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 239319 169209 352 389 0 235069 0
[pid=32553/tid=32555] ppid=32552 vsize=957276 CPUtime=5.86 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 44728 0 0 0 569 17 0 0 25 0 5 0 515520756 980250624 169209 33554432000 4194304 5787044 140735758010800 18446744073709551615 4276255 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=957276 CPUtime=5.78 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 41573 0 0 0 561 17 0 0 25 0 5 0 515520762 980250624 169209 33554432000 4194304 5787044 140735758010800 18446744073709551615 4279114 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=957276 CPUtime=5.66 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 38623 0 0 0 549 17 0 0 25 0 5 0 515520769 980250624 169209 33554432000 4194304 5787044 140735758010800 18446744073709551615 4279114 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=957276 CPUtime=5.63 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 33657 0 0 0 547 16 0 0 25 0 5 0 515520779 980250624 169209 33554432000 4194304 5787044 140735758010800 18446744073709551615 4276264 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.5
Current children cumulated vsize (KiB) 965976

[startup+12.7011 s]
/proc/loadavg: 8.00 6.96 6.47 9/192 32558
/proc/meminfo: memFree=20747388/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1054644 CPUtime=48.95 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 272122 0 0 0 4809 86 0 0 18 0 5 0 515520721 1079955456 200349 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 263661 200349 418 389 0 259411 0
[pid=32553/tid=32555] ppid=32552 vsize=1054644 CPUtime=12.2 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 59224 0 0 0 1200 20 0 0 25 0 5 0 515520756 1079955456 200349 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1054644 CPUtime=12.13 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 67243 0 0 0 1190 23 0 0 25 0 5 0 515520762 1079955456 200349 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1054644 CPUtime=12.01 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 49781 0 0 0 1183 18 0 0 25 0 5 0 515520769 1079955456 200349 33554432000 4194304 5787044 140735758010800 18446744073709551615 4254803 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1054644 CPUtime=12.02 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 52942 0 0 0 1185 17 0 0 25 0 5 0 515520779 1079955456 200349 33554432000 4194304 5787044 140735758010800 18446744073709551615 5526827 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.95
Current children cumulated vsize (KiB) 1063344

[startup+25.5007 s]
/proc/loadavg: 8.21 7.06 6.51 9/192 32559
/proc/meminfo: memFree=20713236/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1059660 CPUtime=100.08 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 284794 0 0 0 9917 91 0 0 18 0 5 0 515520721 1085091840 208077 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 264915 208077 418 389 0 260665 0
[pid=32553/tid=32555] ppid=32552 vsize=1059660 CPUtime=25.01 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 59393 0 0 0 2480 21 0 0 25 0 5 0 515520756 1085091840 208077 33554432000 4194304 5787044 140735758010800 18446744073709551615 5586592 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1059660 CPUtime=24.94 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 67529 0 0 0 2470 24 0 0 25 0 5 0 515520762 1085091840 208077 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1059660 CPUtime=24.74 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 50013 0 0 0 2455 19 0 0 25 0 5 0 515520769 1085091840 208077 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1059660 CPUtime=24.82 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 64927 0 0 0 2462 20 0 0 25 0 5 0 515520779 1085091840 208077 33554432000 4194304 5787044 140735758010800 18446744073709551615 5528656 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.08
Current children cumulated vsize (KiB) 1068360

[startup+51.101 s]
/proc/loadavg: 8.14 7.13 6.55 9/192 32559
/proc/meminfo: memFree=20696692/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1059660 CPUtime=202.33 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 284804 0 0 0 20139 94 0 0 18 0 5 0 515520721 1085091840 208087 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 264915 208087 418 389 0 260665 0
[pid=32553/tid=32555] ppid=32552 vsize=1059660 CPUtime=50.61 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 59402 0 0 0 5039 22 0 0 25 0 5 0 515520756 1085091840 208087 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1059660 CPUtime=50.53 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 67529 0 0 0 5028 25 0 0 25 0 5 0 515520762 1085091840 208087 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1059660 CPUtime=50.2 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 50014 0 0 0 5000 20 0 0 25 0 5 0 515520769 1085091840 208087 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1059660 CPUtime=50.42 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 64927 0 0 0 5021 21 0 0 25 0 5 0 515520779 1085091840 208087 33554432000 4194304 5787044 140735758010800 18446744073709551615 5530976 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.33
Current children cumulated vsize (KiB) 1068360

[startup+102.306 s]
/proc/loadavg: 8.21 7.31 6.64 9/192 32561
/proc/meminfo: memFree=20644776/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1059660 CPUtime=406.86 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 288844 0 0 0 40586 100 0 0 18 0 5 0 515520721 1085091840 212109 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 264915 212109 418 389 0 260665 0
[pid=32553/tid=32555] ppid=32552 vsize=1059660 CPUtime=101.81 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 60563 0 0 0 10158 23 0 0 25 0 5 0 515520756 1085091840 212109 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1059660 CPUtime=101.74 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 69018 0 0 0 10147 27 0 0 25 0 5 0 515520762 1085091840 212109 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1059660 CPUtime=101.12 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 51404 0 0 0 10091 21 0 0 25 0 5 0 515520769 1085091840 212109 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1059660 CPUtime=101.62 cores=1,3,5,7

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

/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 89332 0 0 0 82114 58 0 0 25 0 5 0 515520762 1469710336 288330 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1435264 CPUtime=819.32 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 66967 0 0 0 81887 45 0 0 25 0 5 0 515520769 1469710336 288330 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1435264 CPUtime=821.6 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 97936 0 0 0 82108 52 0 0 25 0 5 0 515520779 1469710336 288330 33554432000 4194304 5787044 140735758010800 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3282.82
Current children cumulated vsize (KiB) 1443964

[startup+882.301 s]
/proc/loadavg: 8.15 8.08 7.47 9/192 32581
/proc/meminfo: memFree=19876724/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1505400 CPUtime=3522.47 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 425967 0 0 0 352013 234 0 0 18 0 5 0 515520721 1541529600 325693 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 376350 325693 418 389 0 372100 0
[pid=32553/tid=32555] ppid=32552 vsize=1505400 CPUtime=879.25 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 82737 0 0 0 87869 56 0 0 25 0 5 0 515520756 1541529600 325693 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1505400 CPUtime=881.73 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 90686 0 0 0 88112 61 0 0 25 0 5 0 515520762 1541529600 325693 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1505400 CPUtime=879.33 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 68334 0 0 0 87885 48 0 0 25 0 5 0 515520769 1541529600 325693 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1505400 CPUtime=881.59 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 141278 0 0 0 88097 62 0 0 25 0 5 0 515520779 1541529600 325693 33554432000 4194304 5787044 140735758010800 18446744073709551615 4337443 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3522.47
Current children cumulated vsize (KiB) 1514100

[startup+942.301 s]
/proc/loadavg: 7.97 8.06 7.50 10/192 32648
/proc/meminfo: memFree=20516000/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1505400 CPUtime=3762.13 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 426932 0 0 0 375974 239 0 0 18 0 5 0 515520721 1541529600 326658 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 376350 326658 418 389 0 372100 0
[pid=32553/tid=32555] ppid=32552 vsize=1505400 CPUtime=938.92 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 82978 0 0 0 93835 57 0 0 25 0 5 0 515520756 1541529600 326658 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590321 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1505400 CPUtime=941.72 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 90945 0 0 0 94111 61 0 0 25 0 5 0 515520762 1541529600 326658 33554432000 4194304 5787044 140735758010800 18446744073709551615 4218896 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1505400 CPUtime=939.32 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 68573 0 0 0 93883 49 0 0 25 0 5 0 515520769 1541529600 326658 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1505400 CPUtime=941.58 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 141504 0 0 0 94094 64 0 0 25 0 5 0 515520779 1541529600 326658 33554432000 4194304 5787044 140735758010800 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3762.13
Current children cumulated vsize (KiB) 1514100

[startup+1002.3 s]
/proc/loadavg: 8.05 8.06 7.54 9/192 32650
/proc/meminfo: memFree=20029020/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1505400 CPUtime=4001.76 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 428635 0 0 0 399933 243 0 0 18 0 5 0 515520721 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 376350 327686 418 389 0 372100 0
[pid=32553/tid=32555] ppid=32552 vsize=1505400 CPUtime=998.57 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 83546 0 0 0 99799 58 0 0 25 0 5 0 515520756 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591808 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1505400 CPUtime=1001.71 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 91506 0 0 0 100109 62 0 0 25 0 5 0 515520762 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590543 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1505400 CPUtime=999.32 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 68575 0 0 0 99882 50 0 0 25 0 5 0 515520769 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1505400 CPUtime=1001.58 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 142076 0 0 0 100092 66 0 0 25 0 5 0 515520779 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4001.76
Current children cumulated vsize (KiB) 1514100

[startup+1062.3 s]
/proc/loadavg: 8.21 8.10 7.58 10/192 32651
/proc/meminfo: memFree=20013864/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1505400 CPUtime=4241.43 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 428635 0 0 0 423900 243 0 0 18 0 5 0 515520721 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 376350 327686 418 389 0 372100 0
[pid=32553/tid=32555] ppid=32552 vsize=1505400 CPUtime=1058.24 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 83546 0 0 0 105766 58 0 0 25 0 5 0 515520756 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1505400 CPUtime=1061.71 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 91506 0 0 0 106109 62 0 0 25 0 5 0 515520762 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1505400 CPUtime=1059.32 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 68575 0 0 0 105882 50 0 0 25 0 5 0 515520769 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 5586774 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1505400 CPUtime=1061.58 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 142076 0 0 0 106092 66 0 0 25 0 5 0 515520779 1541529600 327686 33554432000 4194304 5787044 140735758010800 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4241.43
Current children cumulated vsize (KiB) 1514100

[startup+1122.3 s]
/proc/loadavg: 8.14 8.09 7.61 10/192 32653
/proc/meminfo: memFree=19996488/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1505400 CPUtime=4481.11 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 428642 0 0 0 447867 244 0 0 18 0 5 0 515520721 1541529600 327693 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 376350 327693 418 389 0 372100 0
[pid=32553/tid=32555] ppid=32552 vsize=1505400 CPUtime=1117.91 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 83548 0 0 0 111733 58 0 0 25 0 5 0 515520756 1541529600 327693 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1505400 CPUtime=1121.71 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 91506 0 0 0 112109 62 0 0 25 0 5 0 515520762 1541529600 327693 33554432000 4194304 5787044 140735758010800 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1505400 CPUtime=1119.32 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 68579 0 0 0 111882 50 0 0 25 0 5 0 515520769 1541529600 327693 33554432000 4194304 5787044 140735758010800 18446744073709551615 4220881 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1505400 CPUtime=1121.59 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 142077 0 0 0 112092 67 0 0 25 0 5 0 515520779 1541529600 327693 33554432000 4194304 5787044 140735758010800 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4481.11
Current children cumulated vsize (KiB) 1514100

[startup+1182.3 s]
/proc/loadavg: 8.29 8.14 7.65 10/192 32654
/proc/meminfo: memFree=19980848/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1505400 CPUtime=4720.79 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 428648 0 0 0 471835 244 0 0 18 0 5 0 515520721 1541529600 327699 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 376350 327699 418 389 0 372100 0
[pid=32553/tid=32555] ppid=32552 vsize=1505400 CPUtime=1177.59 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 83553 0 0 0 117701 58 0 0 25 0 5 0 515520756 1541529600 327699 33554432000 4194304 5787044 140735758010800 18446744073709551615 4218750 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1505400 CPUtime=1181.72 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 91506 0 0 0 118110 62 0 0 25 0 5 0 515520762 1541529600 327699 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1505400 CPUtime=1179.32 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 68580 0 0 0 117882 50 0 0 25 0 5 0 515520769 1541529600 327699 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1505400 CPUtime=1181.59 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 142077 0 0 0 118092 67 0 0 25 0 5 0 515520779 1541529600 327699 33554432000 4194304 5787044 140735758010800 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4720.79
Current children cumulated vsize (KiB) 1514100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.28 8.14 7.66 11/192 32655
/proc/meminfo: memFree=19974392/32951124 swapFree=67111524/67111528
[pid=32552] ppid=32550 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/32552/stat : 32552 (prissAuto.sh) S 32550 32552 32466 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515520721 8908800 251 33554432000 4194304 4922060 140734986386064 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32552/statm: 2175 251 211 178 0 68 0
[pid=32553] ppid=32552 vsize=1570936 CPUtime=4800.32 cores=1,3,5,7
/proc/32553/stat : 32553 (priss) S 32552 32552 32466 0 -1 4202496 429547 0 0 0 479787 245 0 0 18 0 5 0 515520721 1608638464 328598 33554432000 4194304 5787044 140735758010800 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32553/statm: 392734 328598 418 389 0 388484 0
[pid=32553/tid=32555] ppid=32552 vsize=1570936 CPUtime=1197.38 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (priss) R 32552 32552 32466 0 -1 4202560 83553 0 0 0 119680 58 0 0 25 0 5 0 515520756 1608638464 328598 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=32553/tid=32556] ppid=32552 vsize=1570936 CPUtime=1201.63 cores=1,3,5,7
/proc/32553/task/32556/stat : 32556 (priss) R 32552 32552 32466 0 -1 4202560 91506 0 0 0 120101 62 0 0 25 0 5 0 515520762 1608638464 328598 33554432000 4194304 5787044 140735758010800 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=32553/tid=32557] ppid=32552 vsize=1570936 CPUtime=1199.23 cores=1,3,5,7
/proc/32553/task/32557/stat : 32557 (priss) R 32552 32552 32466 0 -1 4202560 68581 0 0 0 119873 50 0 0 25 0 5 0 515520769 1608638464 328598 33554432000 4194304 5787044 140735758010800 18446744073709551615 5592653 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=32553/tid=32558] ppid=32552 vsize=1570936 CPUtime=1201.5 cores=1,3,5,7
/proc/32553/task/32558/stat : 32558 (priss) R 32552 32552 32466 0 -1 4202560 142975 0 0 0 120082 68 0 0 25 0 5 0 515520779 1608638464 328598 33554432000 4194304 5787044 140735758010800 18446744073709551615 5527037 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1579636

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 32552 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.32
#
# 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.32
CPU user time (s): 4797.87
CPU system time (s): 2.45
CPU usage (%): 399.287
Max. virtual memory (cumulated for all children) (KiB): 1645172

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= 331
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= 5
involuntary context switches= 2

runsolver used 1.75873 second user time and 4.81927 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-29 03:07:09
IDJOB=3281476
IDBENCH=53034
IDSOLVER=1602
FILE ID=node135/3281476-1304039228
RUNJOBID= node135-1304038950-32485
PBS_JOBID= 13170376
Free space on /tmp= 71080 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT_RACE08/Q1/SAT_dat.k85.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281476-1304039228/watcher-3281476-1304039228 -o /tmp/evaluation-result-3281476-1304039228/solver-3281476-1304039228 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3281476-1304039228.cnf 175151569 4800 15500 4

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

MD5SUM BENCH= dce41996d9c5153aa0c253fa128d227c
RANDOM SEED=175151569

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:      21549544 kB
Buffers:       1827940 kB
Cached:        8143664 kB
SwapCached:          4 kB
Active:        3191368 kB
Inactive:      7615708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21549544 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           22956 kB
Writeback:           0 kB
AnonPages:      834632 kB
Mapped:          15660 kB
Slab:           528844 kB
PageTables:       6216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1073920 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= 71084 MiB
End job on node135 at 2011-04-29 03:27:13