Trace number 3284789

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
priss 1.0? (TO) 4800.28 1214.52

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
MD5SUMf52ec4dacdcf65c3aedb61fb46ade01b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1119.56
Satisfiable
(Un)Satisfiability was proved
Number of variables153284
Number of clauses2473656
Sum of the clauses size5647736
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22387280
Number of clauses of size 36720
Number of clauses of size 431080
Number of clauses of size 513440
Number of clauses of size over 534440

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: 20622
0.00/0.67	c parsetime: 666046us
0.00/0.67	c parsed 2473656 clauses with 153284 variables
0.00/0.82	c NW started thread 0 successfully (1093114176)
0.00/0.98	c NW started thread 1 successfully (1103604032)
1.49/1.15	c NW started thread 2 successfully (1114093888)
2.15/1.35	c NW started thread 3 successfully (1124583744)
182.15/49.27	c preprocessor returned 153584 variables
182.15/49.27	c preprocessing returned UNKNOWN
182.15/49.27	c PP set 48001 variables
182.15/49.27	c pp time: 48412558us (48s)
188.94/50.90	c preprocessor returned 153584 variables
188.94/50.90	c preprocessing returned UNKNOWN
188.94/50.90	c PP set 48001 variables
188.94/50.90	c pp time: 49683323us (49s)
199.33/53.56	c preprocessor returned 153584 variables
199.33/53.56	c preprocessing returned UNKNOWN
199.33/53.56	c PP set 48001 variables
199.33/53.56	c pp time: 52541328us (52s)
206.92/55.49	c preprocessor returned 155284 variables
206.92/55.49	c preprocessing returned UNKNOWN
206.92/55.49	c PP set 48001 variables
206.92/55.49	c pp time: 54085981us (54s)
222.92/59.45	c HTE
237.67/63.12	c subsumption
356.70/92.92	c simplified formula contains 0 unit clauses
356.70/92.96	c received clause contains eliminated literal -24205
356.70/92.96	c received clause contains eliminated literal -30689
356.70/92.96	c received clause contains eliminated literal -26334
356.70/92.96	c received clause contains eliminated literal -35232
356.70/92.96	c received clause contains eliminated literal -24128
371.07/96.51	c HTE
385.47/100.18	c subsumption
412.61/106.91	c simplified formula contains 0 unit clauses
412.61/106.95	c received clause contains eliminated literal -23960
412.61/106.95	c received clause contains eliminated literal -24443
412.61/106.95	c received clause contains eliminated literal -28492
426.19/110.39	c HTE
440.57/113.91	c subsumption
468.95/121.04	c simplified formula contains 0 unit clauses
468.95/121.08	c received clause contains eliminated literal -28562
468.95/121.08	c received clause contains eliminated literal -21963
468.95/121.08	c received clause contains eliminated literal -24143
483.70/124.70	c HTE
497.68/128.24	c subsumption
550.00/141.33	c simplified formula contains 0 unit clauses
550.00/141.37	c received clause contains eliminated literal -21944
550.00/141.37	c received clause contains eliminated literal -30969
570.77/146.55	c received clause contains eliminated literal -33149
597.93/153.36	c HTE
612.70/157.00	c subsumption
761.28/194.29	c simplified formula contains 0 unit clauses
761.68/194.32	c received clause contains eliminated literal -32920
761.68/194.32	c received clause contains eliminated literal -24434
761.68/194.32	c received clause contains eliminated literal -30766
761.68/194.32	c received clause contains eliminated literal -26423
761.68/194.32	c received clause contains eliminated literal -24152
761.68/194.32	c received clause contains eliminated literal -28372
761.68/194.32	c received clause contains eliminated literal -22146
761.68/194.32	c received clause contains eliminated literal -26475
775.26/197.72	c HTE
790.02/201.44	c subsumption
859.54/218.82	c simplified formula contains 0 unit clauses
859.54/218.86	c received clause contains eliminated literal -37711
859.54/218.86	c received clause contains eliminated literal -26417
859.54/218.86	c received clause contains eliminated literal -39588
873.91/222.41	c HTE
888.69/226.12	c subsumption
968.17/246.03	c simplified formula contains 0 unit clauses
968.17/246.07	c received clause contains eliminated literal -35049
968.17/246.07	c received clause contains eliminated literal -37526
968.17/246.07	c received clause contains eliminated literal -43936
968.17/246.07	c received clause contains eliminated literal -41612
968.17/246.07	c received clause contains eliminated literal -19861
968.17/246.07	c received clause contains eliminated literal -21821
1040.45/264.15	c HTE
1055.23/267.85	c subsumption
1855.63/468.24	c simplified formula contains 0 unit clauses
1855.63/468.29	c received clause contains eliminated literal -32877
1855.63/468.29	c received clause contains eliminated literal -37509
1855.63/468.29	c received clause contains eliminated literal -26332
1855.63/468.29	c received clause contains eliminated literal -28584
1855.63/468.29	c received clause contains eliminated literal -19998
1855.63/468.29	c received clause contains eliminated literal -28785
1855.63/468.29	c received clause contains eliminated literal -33205
1855.63/468.29	c received clause contains eliminated literal -26605
1855.63/468.29	c received clause contains eliminated literal -24320
1855.63/468.29	c received clause contains eliminated literal -37235
1855.63/468.29	c received clause contains eliminated literal -21947
1855.63/468.29	c received clause contains eliminated literal -26421
1855.63/468.29	c received clause contains eliminated literal -46140
1855.63/468.29	c received clause contains eliminated literal -28524
1855.63/468.29	c received clause contains eliminated literal -32889
1855.63/468.29	c received clause contains eliminated literal -26336
1855.63/468.29	c received clause contains eliminated literal -24322
1855.63/468.29	c received clause contains eliminated literal -28924
1855.63/468.29	c received clause contains eliminated literal -22045
1868.81/471.53	c HTE
1884.38/475.43	c subsumption
2020.98/509.66	c simplified formula contains 0 unit clauses
2021.38/509.70	c received clause contains eliminated literal -30959
2021.38/509.70	c received clause contains eliminated literal -35200
2021.38/509.70	c received clause contains eliminated literal -37316
2021.38/509.70	c received clause contains eliminated literal -39691
2021.38/509.70	c received clause contains eliminated literal -44221
2021.38/509.70	c received clause contains eliminated literal -33279
2021.38/509.70	c received clause contains eliminated literal -23574
2034.56/513.00	c HTE
2048.14/516.45	c subsumption
2058.94/519.14	c simplified formula contains 0 unit clauses
2099.64/529.32	c received clause contains eliminated literal -50715
2195.88/553.46	c HTE
2209.87/556.99	c subsumption
2937.53/739.14	c simplified formula contains 0 unit clauses
2937.53/739.19	c received clause contains eliminated literal -32889
2937.53/739.19	c received clause contains eliminated literal -17765
2937.53/739.19	c received clause contains eliminated literal -26328
2937.53/739.19	c received clause contains eliminated literal -37100
2937.53/739.19	c received clause contains eliminated literal -28475
2937.53/739.19	c received clause contains eliminated literal -32960
2937.53/739.19	c received clause contains eliminated literal -37322
2937.53/739.19	c received clause contains eliminated literal -41833
2937.53/739.19	c received clause contains eliminated literal -46299
2937.53/739.19	c received clause contains eliminated literal -26392
2937.53/739.19	c received clause contains eliminated literal -30754
2950.72/742.42	c HTE
2965.88/746.26	c subsumption
3106.84/781.50	c simplified formula contains 0 unit clauses
3106.84/781.54	c received clause contains eliminated literal -43634
3106.84/781.54	c received clause contains eliminated literal -41566
3106.84/781.54	c received clause contains eliminated literal -47999
3106.84/781.54	c received clause contains eliminated literal -37510
3120.41/784.97	c HTE
3134.79/788.55	c subsumption
3286.45/826.50	c simplified formula contains 0 unit clauses
3287.65/826.82	c received clause contains eliminated literal -26581
3317.20/834.20	c received clause contains eliminated literal -23166
3331.58/837.86	c received clause contains eliminated literal -35333
3580.74/900.21	c received clause contains eliminated literal -28749
3595.91/904.06	c received clause contains eliminated literal -32886
3629.05/912.30	c HTE
3643.03/915.85	c subsumption
4449.84/1121.83	c simplified formula contains 0 unit clauses
4449.84/1121.87	c received clause contains eliminated literal -43919
4449.84/1121.87	c received clause contains eliminated literal -52907
4449.84/1121.87	c received clause contains eliminated literal -37705
4449.84/1121.87	c received clause contains eliminated literal -27483
4449.84/1121.87	c received clause contains eliminated literal -37391
4449.84/1121.87	c received clause contains eliminated literal -39757
4449.84/1121.87	c received clause contains eliminated literal -26407
4449.84/1121.87	c received clause contains eliminated literal -33010
4449.84/1121.87	c received clause contains eliminated literal -43917
4449.84/1121.87	c received clause contains eliminated literal -28773
4449.84/1121.87	c received clause contains eliminated literal -48584
4449.84/1121.87	c received clause contains eliminated literal -30752
4449.84/1121.87	c received clause contains eliminated literal -48352
4449.84/1121.87	c received clause contains eliminated literal -22197
4449.84/1121.87	c received clause contains eliminated literal -26585
4542.94/1145.16	c HTE
4559.66/1149.30	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-3284789-1304048858/watcher-3284789-1304048858 -o /tmp/evaluation-result-3284789-1304048858/solver-3284789-1304048858 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3284789-1304048858.cnf 2024280199 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 7.65 7.97 8.03 5/180 20621
/proc/meminfo: memFree=24683920/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0

[startup+0.063317 s]
/proc/loadavg: 7.65 7.97 8.03 5/180 20621
/proc/meminfo: memFree=24683920/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100321 s]
/proc/loadavg: 7.65 7.97 8.03 5/180 20621
/proc/meminfo: memFree=24683920/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300287 s]
/proc/loadavg: 7.65 7.97 8.03 5/180 20621
/proc/meminfo: memFree=24683920/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700217 s]
/proc/loadavg: 7.65 7.97 8.03 5/180 20621
/proc/meminfo: memFree=24683920/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50103 s]
/proc/loadavg: 7.65 7.97 8.03 8/184 20625
/proc/meminfo: memFree=24314376/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=999096 CPUtime=2.9 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 211828 0 0 0 254 36 0 0 18 0 5 0 516485571 1023074304 207821 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 249774 207824 345 389 0 245524 0
[pid=20622/tid=20624] ppid=20621 vsize=999096 CPUtime=0.64 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 38054 0 0 0 54 10 0 0 18 0 5 0 516485654 1023074304 207825 33554432000 4194304 5787044 140733403301120 18446744073709551615 274664851639 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=999096 CPUtime=0.48 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 28603 0 0 0 42 6 0 0 18 0 5 0 516485669 1023074304 207830 33554432000 4194304 5787044 140733403301120 18446744073709551615 274664469189 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 1007796

[startup+3.10075 s]
/proc/loadavg: 7.65 7.97 8.03 9/186 20627
/proc/meminfo: memFree=23425520/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=1732704 CPUtime=7.08 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 385124 0 0 0 575 133 0 0 18 0 5 0 516485571 1774288896 381117 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 433176 381117 345 389 0 428926 0
[pid=20622/tid=20624] ppid=20621 vsize=1732704 CPUtime=1.81 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 78167 0 0 0 150 31 0 0 18 0 5 0 516485654 1774288896 381117 33554432000 4194304 5787044 140733403301120 18446744073709551615 4307762 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=1732704 CPUtime=1.46 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 69858 0 0 0 112 34 0 0 18 0 5 0 516485669 1774288896 381117 33554432000 4194304 5787044 140733403301120 18446744073709551615 4302642 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=1732704 CPUtime=1.29 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 59711 0 0 0 97 32 0 0 18 0 5 0 516485687 1774288896 381117 33554432000 4194304 5787044 140733403301120 18446744073709551615 274664469537 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=1732704 CPUtime=1.14 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 59796 0 0 0 94 20 0 0 18 0 5 0 516485707 1774288896 381117 33554432000 4194304 5787044 140733403301120 18446744073709551615 4302169 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 1741404

[startup+6.3012 s]
/proc/loadavg: 7.76 7.98 8.03 10/186 20627
/proc/meminfo: memFree=23446348/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=1405552 CPUtime=17.05 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 425154 0 0 0 1514 191 0 0 18 0 5 0 516485571 1439285248 307292 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 351388 307292 349 389 0 347138 0
[pid=20622/tid=20624] ppid=20621 vsize=1405552 CPUtime=4.59 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 82927 0 0 0 425 34 0 0 21 0 5 0 516485654 1439285248 307292 33554432000 4194304 5787044 140733403301120 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=1405552 CPUtime=4.55 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 74914 0 0 0 419 36 0 0 22 0 5 0 516485669 1439285248 307292 33554432000 4194304 5787044 140733403301120 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=1405552 CPUtime=4.06 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 82803 0 0 0 335 71 0 0 23 0 5 0 516485687 1439285248 307292 33554432000 4194304 5787044 140733403301120 18446744073709551615 4318904 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=1405552 CPUtime=2.47 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 66918 0 0 0 213 34 0 0 21 0 5 0 516485707 1439285248 307292 33554432000 4194304 5787044 140733403301120 18446744073709551615 47752432399511 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 17.05
Current children cumulated vsize (KiB) 1414252

[startup+12.7011 s]
/proc/loadavg: 8.02 8.03 8.05 11/186 20627
/proc/meminfo: memFree=23645036/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=1294904 CPUtime=36.82 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 441102 0 0 0 3468 214 0 0 18 0 5 0 516485571 1325981696 256720 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 323726 256720 352 389 0 319476 0
[pid=20622/tid=20624] ppid=20621 vsize=1294904 CPUtime=10.99 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 90389 0 0 0 1063 36 0 0 25 0 5 0 516485654 1325981696 256720 33554432000 4194304 5787044 140733403301120 18446744073709551615 4279072 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=1294904 CPUtime=8.13 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 74921 0 0 0 763 50 0 0 25 0 5 0 516485669 1325981696 256720 33554432000 4194304 5787044 140733403301120 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=1294904 CPUtime=10.43 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 86834 0 0 0 971 72 0 0 25 0 5 0 516485687 1325981696 256720 33554432000 4194304 5787044 140733403301120 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=1294904 CPUtime=5.91 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 71366 0 0 0 551 40 0 0 25 0 5 0 516485707 1325981696 256720 33554432000 4194304 5787044 140733403301120 18446744073709551615 4330527 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 36.82
Current children cumulated vsize (KiB) 1303604

[startup+25.5009 s]
/proc/loadavg: 8.21 8.08 8.06 9/186 20628
/proc/meminfo: memFree=23620684/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=1304568 CPUtime=87.5 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 474270 0 0 0 8526 224 0 0 18 0 5 0 516485571 1335877632 257563 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 326142 257563 352 389 0 321892 0
[pid=20622/tid=20624] ppid=20621 vsize=1304568 CPUtime=23.79 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 90389 0 0 0 2343 36 0 0 25 0 5 0 516485654 1335877632 257563 33554432000 4194304 5787044 140733403301120 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=1304568 CPUtime=20.68 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 74921 0 0 0 2018 50 0 0 25 0 5 0 516485669 1335877632 257563 33554432000 4194304 5787044 140733403301120 18446744073709551615 4276264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=1304568 CPUtime=23.14 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 86834 0 0 0 2242 72 0 0 25 0 5 0 516485687 1335877632 257563 33554432000 4194304 5787044 140733403301120 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=1304568 CPUtime=18.51 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 104534 0 0 0 1802 49 0 0 25 0 5 0 516485707 1335877632 257563 33554432000 4194304 5787044 140733403301120 18446744073709551615 4276264 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 87.5
Current children cumulated vsize (KiB) 1313268

[startup+51.1005 s]
/proc/loadavg: 8.21 8.09 8.07 9/186 20628
/proc/meminfo: memFree=23519724/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=1504084 CPUtime=189.74 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 648781 0 0 0 18713 261 0 0 18 0 5 0 516485571 1540182016 293665 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 376021 293665 402 389 0 371771 0
[pid=20622/tid=20624] ppid=20621 vsize=1504084 CPUtime=49.38 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 128066 0 0 0 4897 41 0 0 25 0 5 0 516485654 1540182016 293665 33554432000 4194304 5787044 140733403301120 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=1504084 CPUtime=46.28 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 77310 0 0 0 4577 51 0 0 25 0 5 0 516485669 1540182016 293665 33554432000 4194304 5787044 140733403301120 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=1504084 CPUtime=48.59 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 119371 0 0 0 4780 79 0 0 25 0 5 0 516485687 1540182016 293665 33554432000 4194304 5787044 140733403301120 18446744073709551615 47752432713814 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=1504084 CPUtime=44.11 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 206442 0 0 0 4338 73 0 0 25 0 5 0 516485707 1540182016 293665 33554432000 4194304 5787044 140733403301120 18446744073709551615 4301908 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 189.74
Current children cumulated vsize (KiB) 1512784

[startup+102.307 s]
/proc/loadavg: 8.22 8.10 8.07 9/186 20630
/proc/meminfo: memFree=23309400/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=1636416 CPUtime=394.25 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 718258 0 0 0 39147 278 0 0 18 0 5 0 516485571 1675689984 324580 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 409104 324580 418 389 0 404854 0
[pid=20622/tid=20624] ppid=20621 vsize=1636416 CPUtime=100.57 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 129774 0 0 0 10015 42 0 0 25 0 5 0 516485654 1675689984 324580 33554432000 4194304 5787044 140733403301120 18446744073709551615 4220335 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=1636416 CPUtime=97.49 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 85187 0 0 0 9696 53 0 0 25 0 5 0 516485669 1675689984 324580 33554432000 4194304 5787044 140733403301120 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=1636416 CPUtime=99.52 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 120425 0 0 0 9872 80 0 0 25 0 5 0 516485687 1675689984 324580 33554432000 4194304 5787044 140733403301120 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=1636416 CPUtime=95.31 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 265280 0 0 0 9444 87 0 0 25 0 5 0 516485707 1675689984 324580 33554432000 4194304 5787044 140733403301120 18446744073709551615 4335738 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 394.25
Current children cumulated vsize (KiB) 1645116


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

/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 112790 0 0 0 87680 64 0 0 25 0 5 0 516485669 2305040384 481929 33554432000 4194304 5787044 140733403301120 18446744073709551615 5586597 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=2251016 CPUtime=875.57 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 154414 0 0 0 87465 92 0 0 25 0 5 0 516485687 2305040384 481929 33554432000 4194304 5787044 140733403301120 18446744073709551615 4220738 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=2251016 CPUtime=875.27 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 452132 0 0 0 87402 125 0 0 25 0 5 0 516485707 2305040384 481929 33554432000 4194304 5787044 140733403301120 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3509.28
Current children cumulated vsize (KiB) 2259716

[startup+942.3 s]
/proc/loadavg: 8.00 8.05 8.06 9/186 20661
/proc/meminfo: memFree=22298300/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=2265628 CPUtime=3748.85 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 994075 0 0 0 374529 356 0 0 18 0 5 0 516485571 2320003072 485761 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 566407 485761 419 389 0 562157 0
[pid=20622/tid=20624] ppid=20621 vsize=2265628 CPUtime=939.55 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 153315 0 0 0 93898 57 0 0 25 0 5 0 516485654 2320003072 485761 33554432000 4194304 5787044 140733403301120 18446744073709551615 4228046 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=2265628 CPUtime=937.43 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 112794 0 0 0 93679 64 0 0 25 0 5 0 516485669 2320003072 485761 33554432000 4194304 5787044 140733403301120 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=2265628 CPUtime=935.24 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 154414 0 0 0 93431 93 0 0 25 0 5 0 516485687 2320003072 485761 33554432000 4194304 5787044 140733403301120 18446744073709551615 4220834 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=2265628 CPUtime=935.27 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 455960 0 0 0 93401 126 0 0 25 0 5 0 516485707 2320003072 485761 33554432000 4194304 5787044 140733403301120 18446744073709551615 4336986 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3748.85
Current children cumulated vsize (KiB) 2274328

[startup+1002.3 s]
/proc/loadavg: 8.00 8.03 8.06 9/186 20663
/proc/meminfo: memFree=22203188/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=2331164 CPUtime=3988.48 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 1006258 0 0 0 398486 362 0 0 18 0 5 0 516485571 2387111936 497944 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 582791 497944 419 389 0 578541 0
[pid=20622/tid=20624] ppid=20621 vsize=2331164 CPUtime=999.51 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 157783 0 0 0 99891 60 0 0 25 0 5 0 516485654 2387111936 497944 33554432000 4194304 5787044 140733403301120 18446744073709551615 4220351 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=2331164 CPUtime=997.44 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 117570 0 0 0 99677 67 0 0 25 0 5 0 516485669 2387111936 497944 33554432000 4194304 5787044 140733403301120 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=2331164 CPUtime=994.9 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 157353 0 0 0 99397 93 0 0 25 0 5 0 516485687 2387111936 497944 33554432000 4194304 5787044 140733403301120 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=2331164 CPUtime=995.27 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 455960 0 0 0 99401 126 0 0 25 0 5 0 516485707 2387111936 497944 33554432000 4194304 5787044 140733403301120 18446744073709551615 4337014 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3988.48
Current children cumulated vsize (KiB) 2339864

[startup+1062.3 s]
/proc/loadavg: 9.58 8.39 8.18 5/177 20713
/proc/meminfo: memFree=18046164/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=2438976 CPUtime=4221.06 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 1038770 0 0 0 421657 449 0 0 18 0 5 0 516485571 2497511424 530456 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 609744 530456 419 389 0 605494 0
[pid=20622/tid=20624] ppid=20621 vsize=2438976 CPUtime=1057.85 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 169633 0 0 0 105696 89 0 0 25 0 5 0 516485654 2497511424 530456 33554432000 4194304 5787044 140733403301120 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=2438976 CPUtime=1055.12 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 129016 0 0 0 105410 102 0 0 25 0 5 0 516485669 2497511424 530456 33554432000 4194304 5787044 140733403301120 18446744073709551615 5588144 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=2438976 CPUtime=1053 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 166569 0 0 0 105187 113 0 0 25 0 5 0 516485687 2497511424 530456 33554432000 4194304 5787044 140733403301120 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=2438976 CPUtime=1053.7 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 455960 0 0 0 105242 128 0 0 25 0 5 0 516485707 2497511424 530456 33554432000 4194304 5787044 140733403301120 18446744073709551615 4337006 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4221.06
Current children cumulated vsize (KiB) 2447676

[startup+1122.3 s]
/proc/loadavg: 10.14 8.75 8.31 5/177 20718
/proc/meminfo: memFree=18037368/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=2631364 CPUtime=4451.84 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 1079196 0 0 0 444616 568 0 0 18 0 5 0 516485571 2694516736 570882 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 657841 570882 419 389 0 653591 0
[pid=20622/tid=20624] ppid=20621 vsize=2631364 CPUtime=1114.31 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 183227 0 0 0 111302 129 0 0 25 0 5 0 516485654 2694516736 570882 33554432000 4194304 5787044 140733403301120 18446744073709551615 4228026 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=2631364 CPUtime=1113.48 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 142047 0 0 0 111211 137 0 0 21 0 5 0 516485669 2694516736 570882 33554432000 4194304 5787044 140733403301120 18446744073709551615 4220930 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=2631364 CPUtime=1110.57 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 180370 0 0 0 110901 156 0 0 25 0 5 0 516485687 2694516736 570882 33554432000 4194304 5787044 140733403301120 18446744073709551615 4227985 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=2631364 CPUtime=1112.11 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 455960 0 0 0 111081 130 0 0 25 0 5 0 516485707 2694516736 570882 33554432000 4194304 5787044 140733403301120 18446744073709551615 4254537 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4451.84
Current children cumulated vsize (KiB) 2640064

[startup+1182.3 s]
/proc/loadavg: 10.42 9.08 8.45 5/177 20719
/proc/meminfo: memFree=18229160/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=2644880 CPUtime=4681.55 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 1091602 0 0 0 467583 572 0 0 18 0 5 0 516485571 2708357120 574660 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 661220 574660 419 389 0 656970 0
[pid=20622/tid=20624] ppid=20621 vsize=2644880 CPUtime=1170.02 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 183332 0 0 0 116873 129 0 0 25 0 5 0 516485654 2708357120 574660 33554432000 4194304 5787044 140733403301120 18446744073709551615 4220798 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=2644880 CPUtime=1168 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 142106 0 0 0 116661 139 0 0 25 0 5 0 516485669 2708357120 574660 33554432000 4194304 5787044 140733403301120 18446744073709551615 5592144 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=2644880 CPUtime=1170.06 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 180508 0 0 0 116850 156 0 0 25 0 5 0 516485687 2708357120 574660 33554432000 4194304 5787044 140733403301120 18446744073709551615 4220881 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=2644880 CPUtime=1172.11 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 468064 0 0 0 117079 132 0 0 25 0 5 0 516485707 2708357120 574660 33554432000 4194304 5787044 140733403301120 18446744073709551615 4336986 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4681.55
Current children cumulated vsize (KiB) 2653580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1214.5 s]
/proc/loadavg: 10.39 9.21 8.51 5/177 20720
/proc/meminfo: memFree=18343336/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=2644880 CPUtime=4800.28 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 1091608 0 0 0 479454 574 0 0 18 0 5 0 516485571 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 661220 574666 419 389 0 656970 0
[pid=20622/tid=20624] ppid=20621 vsize=2644880 CPUtime=1195.98 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 183338 0 0 0 119466 132 0 0 25 0 5 0 516485654 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 4228007 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=2644880 CPUtime=1200.2 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 142106 0 0 0 119881 139 0 0 25 0 5 0 516485669 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 5590848 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=2644880 CPUtime=1202.26 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 180508 0 0 0 120070 156 0 0 25 0 5 0 516485687 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 5591582 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=2644880 CPUtime=1200.48 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 468064 0 0 0 119916 132 0 0 25 0 5 0 516485707 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 4337014 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 2653580

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

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

[startup+1214.5 s]
/proc/loadavg: 10.39 9.21 8.51 5/177 20720
/proc/meminfo: memFree=18343336/32951132 swapFree=67111524/67111528
[pid=20621] ppid=20619 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20621/stat : 20621 (priss.sh) S 20619 20621 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 516485571 8908800 252 33554432000 4194304 4922060 140735336601328 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20621/statm: 2175 252 211 178 0 68 0
[pid=20622] ppid=20621 vsize=2644880 CPUtime=4800.28 cores=0,2,4,6
/proc/20622/stat : 20622 (priss) S 20621 20621 18837 0 -1 4202496 1091608 0 0 0 479454 574 0 0 18 0 5 0 516485571 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20622/statm: 661220 574666 419 389 0 656970 0
[pid=20622/tid=20624] ppid=20621 vsize=2644880 CPUtime=1195.98 cores=0,2,4,6
/proc/20622/task/20624/stat : 20624 (priss) R 20621 20621 18837 0 -1 4202560 183338 0 0 0 119466 132 0 0 25 0 5 0 516485654 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 4228007 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20622/tid=20625] ppid=20621 vsize=2644880 CPUtime=1200.2 cores=0,2,4,6
/proc/20622/task/20625/stat : 20625 (priss) R 20621 20621 18837 0 -1 4202560 142106 0 0 0 119881 139 0 0 25 0 5 0 516485669 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 5590848 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20622/tid=20626] ppid=20621 vsize=2644880 CPUtime=1202.26 cores=0,2,4,6
/proc/20622/task/20626/stat : 20626 (priss) R 20621 20621 18837 0 -1 4202560 180508 0 0 0 120070 156 0 0 25 0 5 0 516485687 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 5591582 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20622/tid=20627] ppid=20621 vsize=2644880 CPUtime=1200.48 cores=0,2,4,6
/proc/20622/task/20627/stat : 20627 (priss) R 20621 20621 18837 0 -1 4202560 468064 0 0 0 119916 132 0 0 25 0 5 0 516485707 2708357120 574666 33554432000 4194304 5787044 140733403301120 18446744073709551615 4337014 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 2653580

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20621 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.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1214.52
CPU time (s): 4800.28
CPU user time (s): 4794.54
CPU system time (s): 5.74
CPU usage (%): 395.242
Max. virtual memory (cumulated for all children) (KiB): 2653580

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

runsolver used 2.81757 second user time and 8.39972 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 05:47:39
IDJOB=3284789
IDBENCH=82363
IDSOLVER=1603
FILE ID=node131/3284789-1304048858
RUNJOBID= node131-1304036726-18855
PBS_JOBID= 13170364
Free space on /tmp= 71332 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284789-1304048858/watcher-3284789-1304048858 -o /tmp/evaluation-result-3284789-1304048858/solver-3284789-1304048858 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3284789-1304048858.cnf 2024280199 4800 15500 4

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

MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=2024280199

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.83
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24684208 kB
Buffers:        950552 kB
Cached:        6298588 kB
SwapCached:          4 kB
Active:         729736 kB
Inactive:      7043232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24684208 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           45020 kB
Writeback:           0 kB
AnonPages:      523012 kB
Mapped:          15972 kB
Slab:           429856 kB
PageTables:       5628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   734920 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66652 MiB
End job on node131 at 2011-04-29 06:07:56