Trace number 3285340

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.34 1202.72

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
MD5SUM6ed645315c9ffb8177453b955fbe1737
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1200.86
Satisfiable
(Un)Satisfiability was proved
Number of variables109684
Number of clauses1767096
Sum of the clauses size4034296
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21705200
Number of clauses of size 34800
Number of clauses of size 422200
Number of clauses of size 59600
Number of clauses of size over 524600

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: 30010
0.00/0.00	c setup for 4cores
0.00/0.48	c parsetime: 481068us
0.00/0.48	c parsed 1767096 clauses with 109684 variables
0.00/0.59	c NW started thread 0 successfully (1103771968)
0.00/0.71	c NW started thread 1 successfully (1114261824)
0.00/0.84	c NW started thread 2 successfully (1124751680)
0.00/0.99	c NW started thread 3 successfully (1135241536)
108.08/27.82	c preprocessor returned 111684 variables
108.08/27.82	c preprocessing returned UNKNOWN
108.08/27.82	c PP set 40315 variables
108.08/27.82	c pp time: 26795739us (26s)
118.07/30.37	c preprocessor returned 109984 variables
118.07/30.37	c preprocessing returned UNKNOWN
118.07/30.37	c PP set 40315 variables
118.07/30.37	c pp time: 29623630us (29s)
118.07/30.37	c HTE
118.86/30.55	c preprocessor returned 109984 variables
118.86/30.55	c preprocessing returned UNKNOWN
118.86/30.55	c PP set 40315 variables
118.86/30.55	c pp time: 29664457us (29s)
119.68/30.74	c preprocessor returned 109984 variables
119.68/30.74	c preprocessing returned UNKNOWN
119.68/30.74	c PP set 40315 variables
119.68/30.74	c pp time: 30123483us (30s)
126.84/32.51	c subsumption
201.15/51.13	c simplified formula contains 0 unit clauses
201.15/51.17	c received clause contains eliminated literal -26192
201.15/51.17	c received clause contains eliminated literal -24144
201.15/51.17	c received clause contains eliminated literal -30968
209.93/53.34	c HTE
217.91/55.34	c subsumption
285.42/72.22	c simplified formula contains 0 unit clauses
285.42/72.25	c received clause contains eliminated literal -26385
285.42/72.25	c received clause contains eliminated literal -26732
285.42/72.25	c received clause contains eliminated literal -35232
285.42/72.25	c received clause contains eliminated literal -30939
293.41/74.29	c HTE
301.39/76.28	c subsumption
332.16/83.92	c simplified formula contains 0 unit clauses
332.16/83.95	c received clause contains eliminated literal -26387
332.16/83.95	c received clause contains eliminated literal -37508
332.16/83.95	c received clause contains eliminated literal -24004
332.16/83.95	c received clause contains eliminated literal -24319
332.16/83.95	c received clause contains eliminated literal -37477
340.15/85.99	c HTE
348.16/87.96	c subsumption
382.08/96.46	c simplified formula contains 0 unit clauses
382.08/96.49	c received clause contains eliminated literal -39393
382.08/96.49	c received clause contains eliminated literal -24244
382.08/96.49	c received clause contains eliminated literal -30832
382.08/96.49	c received clause contains eliminated literal -35228
390.47/98.53	c HTE
398.46/100.53	c subsumption
442.80/111.68	c simplified formula contains 0 unit clauses
443.20/111.71	c received clause contains eliminated literal -28587
443.20/111.71	c received clause contains eliminated literal -26498
443.20/111.71	c received clause contains eliminated literal -26599
443.20/111.71	c received clause contains eliminated literal -28685
450.39/113.56	c HTE
458.40/115.59	c subsumption
502.71/126.60	c simplified formula contains 0 unit clauses
502.71/126.63	c received clause contains eliminated literal -26346
502.71/126.63	c received clause contains eliminated literal -26605
511.90/128.99	c received clause contains eliminated literal -24241
529.88/133.40	c HTE
537.49/135.35	c subsumption
543.07/136.77	c simplified formula contains 0 unit clauses
566.63/142.62	c HTE
574.22/144.52	c subsumption
613.77/154.41	c simplified formula contains 0 unit clauses
613.77/154.44	c received clause contains eliminated literal -39688
613.77/154.44	c received clause contains eliminated literal -33105
613.77/154.44	c received clause contains eliminated literal -23198
613.77/154.44	c received clause contains eliminated literal -39885
613.77/154.44	c received clause contains eliminated literal -39419
628.15/158.09	c HTE
635.73/159.96	c subsumption
729.21/183.37	c simplified formula contains 0 unit clauses
729.61/183.40	c received clause contains eliminated literal -37098
729.61/183.40	c received clause contains eliminated literal -24320
729.61/183.40	c received clause contains eliminated literal -39689
729.61/183.40	c received clause contains eliminated literal -21819
742.39/186.68	c HTE
750.38/188.66	c subsumption
1045.57/262.59	c simplified formula contains 0 unit clauses
1045.97/262.63	c received clause contains eliminated literal -39584
1045.97/262.63	c received clause contains eliminated literal -22113
1045.97/262.63	c received clause contains eliminated literal -37202
1045.97/262.63	c received clause contains eliminated literal -22114
1045.97/262.63	c received clause contains eliminated literal -33137
1045.97/262.63	c received clause contains eliminated literal -21822
1045.97/262.63	c received clause contains eliminated literal -39491
1045.97/262.63	c received clause contains eliminated literal -30784
1045.97/262.63	c received clause contains eliminated literal -37669
1045.97/262.63	c received clause contains eliminated literal -37537
1045.97/262.63	c received clause contains eliminated literal -17816
1045.97/262.63	c received clause contains eliminated literal -15587
1045.97/262.63	c received clause contains eliminated literal -39675
1045.97/262.63	c received clause contains eliminated literal -30744
1053.16/264.46	c HTE
1063.15/266.90	c subsumption
1169.82/293.63	c simplified formula contains 0 unit clauses
1169.82/293.66	c received clause contains eliminated literal -35264
1169.82/293.66	c received clause contains eliminated literal -19803
1169.82/293.66	c received clause contains eliminated literal -28924
1194.16/299.74	c HTE
1201.75/301.61	c subsumption
1456.21/365.38	c simplified formula contains 0 unit clauses
1456.61/365.41	c received clause contains eliminated literal -26458
1456.61/365.41	c received clause contains eliminated literal -26421
1456.61/365.41	c received clause contains eliminated literal -33278
1456.61/365.41	c received clause contains eliminated literal -31547
1456.61/365.41	c received clause contains eliminated literal -41561
1456.61/365.41	c received clause contains eliminated literal -24147
1456.61/365.41	c received clause contains eliminated literal -26405
1456.61/365.41	c received clause contains eliminated literal -35309
1456.61/365.41	c received clause contains eliminated literal -43921
1464.22/367.32	c HTE
1471.78/369.22	c subsumption
1518.91/381.05	c simplified formula contains 0 unit clauses
1518.91/381.08	c received clause contains eliminated literal -33147
1518.91/381.08	c received clause contains eliminated literal -28805
1518.91/381.08	c received clause contains eliminated literal -41566
1600.01/401.40	c HTE
1610.37/403.92	c subsumption
2252.69/564.78	c simplified formula contains 0 unit clauses
2253.09/564.82	c received clause contains eliminated literal -35069
2253.09/564.82	c received clause contains eliminated literal -25454
2253.09/564.82	c received clause contains eliminated literal -30861
2253.09/564.82	c received clause contains eliminated literal -30692
2253.09/564.82	c received clause contains eliminated literal -26182
2253.09/564.82	c received clause contains eliminated literal -39391
2253.09/564.82	c received clause contains eliminated literal -48356
2260.67/566.79	c HTE
2270.26/569.18	c subsumption
2378.43/596.24	c simplified formula contains 0 unit clauses
2378.43/596.27	c received clause contains eliminated literal -30674
2378.43/596.27	c received clause contains eliminated literal -26319
2378.43/596.27	c received clause contains eliminated literal -43741
2428.62/608.99	c received clause contains eliminated literal -33039
2432.17/609.82	c received clause contains eliminated literal -44247
2499.15/626.69	c received clause contains eliminated literal -41399
2506.74/628.59	c HTE
2514.30/630.49	c subsumption
3494.15/875.80	c simplified formula contains 0 unit clauses
3494.55/875.83	c received clause contains eliminated literal -48105
3494.55/875.83	c received clause contains eliminated literal -39569
3494.55/875.83	c received clause contains eliminated literal -31134
3494.55/875.83	c received clause contains eliminated literal -28655
3494.55/875.83	c received clause contains eliminated literal -30767
3494.55/875.83	c received clause contains eliminated literal -46112
3494.55/875.83	c received clause contains eliminated literal -44066
3494.55/875.83	c received clause contains eliminated literal -57265
3494.55/875.83	c received clause contains eliminated literal -30779
3494.95/875.97	c received clause contains eliminated literal -46132
3502.15/877.72	c HTE
3512.52/880.32	c subsumption
3655.94/916.22	c simplified formula contains 0 unit clauses
3655.94/916.25	c received clause contains eliminated literal -19945
3655.94/916.25	c received clause contains eliminated literal -48312
3686.29/923.85	c received clause contains eliminated literal -50657
3911.57/980.29	c HTE
3926.76/984.06	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-3285340-1304047738/watcher-3285340-1304047738 -o /tmp/evaluation-result-3285340-1304047738/solver-3285340-1304047738 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3285340-1304047738.cnf 1583041901 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.61 7.99 8.04 6/182 30009
/proc/meminfo: memFree=19773176/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0

[startup+0.082722 s]
/proc/loadavg: 7.61 7.99 8.04 6/182 30009
/proc/meminfo: memFree=19773176/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100716 s]
/proc/loadavg: 7.61 7.99 8.04 6/182 30009
/proc/meminfo: memFree=19773176/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30068 s]
/proc/loadavg: 7.61 7.99 8.04 6/182 30009
/proc/meminfo: memFree=19773176/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.7006 s]
/proc/loadavg: 7.61 7.99 8.04 6/182 30009
/proc/meminfo: memFree=19773176/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50038 s]
/proc/loadavg: 7.61 7.99 8.04 9/188 30015
/proc/meminfo: memFree=19264608/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=1103736 CPUtime=3.4 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 222874 0 0 0 285 55 0 0 18 0 5 0 595004564 1130225664 217077 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 275934 217077 345 389 0 271684 0
[pid=30010/tid=30012] ppid=30009 vsize=1103736 CPUtime=0.79 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 43522 0 0 0 63 16 0 0 18 0 5 0 595004624 1130225664 217077 33554432000 4194304 5787044 140735304273472 18446744073709551615 231895151649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=1103736 CPUtime=0.67 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) D 30009 30009 28251 0 -1 4202560 37689 0 0 0 52 15 0 0 18 0 5 0 595004636 1130225664 217077 33554432000 4194304 5787044 140735304273472 18446744073709551615 231895533751 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=1103736 CPUtime=0.54 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) D 30009 30009 28251 0 -1 4202560 34143 0 0 0 47 7 0 0 18 0 5 0 595004649 1130225664 217077 33554432000 4194304 5787044 140735304273472 18446744073709551615 231895151301 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=1103736 CPUtime=0.43 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) D 30009 30009 28251 0 -1 4202560 24512 0 0 0 35 8 0 0 18 0 5 0 595004663 1130225664 217077 33554432000 4194304 5787044 140735304273472 18446744073709551615 231895533751 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 1112436

[startup+3.10108 s]
/proc/loadavg: 7.61 7.99 8.04 9/188 30015
/proc/meminfo: memFree=18574920/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=847376 CPUtime=9.42 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 321869 0 0 0 851 91 0 0 18 0 5 0 595004564 867713024 152447 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 211844 152447 349 389 0 207594 0
[pid=30010/tid=30012] ppid=30009 vsize=847376 CPUtime=2.17 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 59323 0 0 0 193 24 0 0 17 0 5 0 595004624 867713024 152447 33554432000 4194304 5787044 140735304273472 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=847376 CPUtime=2.21 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 60303 0 0 0 196 25 0 0 19 0 5 0 595004636 867713024 152447 33554432000 4194304 5787044 140735304273472 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=847376 CPUtime=2.09 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 59978 0 0 0 196 13 0 0 19 0 5 0 595004649 867713024 152447 33554432000 4194304 5787044 140735304273472 18446744073709551615 4330518 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=847376 CPUtime=1.97 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 59257 0 0 0 178 19 0 0 19 0 5 0 595004663 867713024 152447 33554432000 4194304 5787044 140735304273472 18446744073709551615 4330518 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.42
Current children cumulated vsize (KiB) 856076

[startup+6.30049 s]
/proc/loadavg: 7.64 7.99 8.03 9/188 30015
/proc/meminfo: memFree=19149164/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=841776 CPUtime=22.2 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 331731 0 0 0 2127 93 0 0 18 0 5 0 595004564 861978624 150787 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 210444 150787 351 389 0 206194 0
[pid=30010/tid=30012] ppid=30009 vsize=841776 CPUtime=5.35 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 61056 0 0 0 511 24 0 0 25 0 5 0 595004624 861978624 150787 33554432000 4194304 5787044 140735304273472 18446744073709551615 4340045 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=841776 CPUtime=5.4 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 63913 0 0 0 515 25 0 0 25 0 5 0 595004636 861978624 150787 33554432000 4194304 5787044 140735304273472 18446744073709551615 4343233 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=841776 CPUtime=5.29 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 62292 0 0 0 516 13 0 0 25 0 5 0 595004649 861978624 150787 33554432000 4194304 5787044 140735304273472 18446744073709551615 4340028 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=841776 CPUtime=5.17 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 61462 0 0 0 497 20 0 0 25 0 5 0 595004663 861978624 150787 33554432000 4194304 5787044 140735304273472 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.2
Current children cumulated vsize (KiB) 850476

[startup+12.7003 s]
/proc/loadavg: 7.67 7.99 8.03 9/188 30015
/proc/meminfo: memFree=19142436/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=848680 CPUtime=47.76 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 352085 0 0 0 4677 99 0 0 18 0 5 0 595004564 869048320 154830 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 212170 154830 352 389 0 207920 0
[pid=30010/tid=30012] ppid=30009 vsize=848680 CPUtime=11.71 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 62305 0 0 0 1147 24 0 0 25 0 5 0 595004624 869048320 154830 33554432000 4194304 5787044 140735304273472 18446744073709551615 4276264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=848680 CPUtime=11.8 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 64279 0 0 0 1155 25 0 0 25 0 5 0 595004636 869048320 154830 33554432000 4194304 5787044 140735304273472 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=848680 CPUtime=11.69 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 62293 0 0 0 1156 13 0 0 25 0 5 0 595004649 869048320 154830 33554432000 4194304 5787044 140735304273472 18446744073709551615 4276512 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=848680 CPUtime=11.57 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 80200 0 0 0 1132 25 0 0 25 0 5 0 595004663 869048320 154830 33554432000 4194304 5787044 140735304273472 18446744073709551615 4279518 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.76
Current children cumulated vsize (KiB) 857380

[startup+25.5009 s]
/proc/loadavg: 7.74 7.99 8.03 9/188 30015
/proc/meminfo: memFree=19092332/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=976096 CPUtime=98.89 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 408839 0 0 0 9777 112 0 0 18 0 5 0 595004564 999522304 177728 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 244024 177729 355 389 0 239774 0
[pid=30010/tid=30012] ppid=30009 vsize=976096 CPUtime=24.45 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 64888 0 0 0 2420 25 0 0 25 0 5 0 595004624 999522304 177731 33554432000 4194304 5787044 140735304273472 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=976096 CPUtime=24.59 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 67016 0 0 0 2434 25 0 0 25 0 5 0 595004636 999522304 177732 33554432000 4194304 5787044 140735304273472 18446744073709551615 231895184457 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=976096 CPUtime=24.5 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 64877 0 0 0 2436 14 0 0 25 0 5 0 595004649 999522304 177734 33554432000 4194304 5787044 140735304273472 18446744073709551615 231895184436 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=976096 CPUtime=24.37 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 129058 0 0 0 2399 38 0 0 25 0 5 0 595004663 999522304 177736 33554432000 4194304 5787044 140735304273472 18446744073709551615 231895151649 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.89
Current children cumulated vsize (KiB) 984796

[startup+51.1011 s]
/proc/loadavg: 7.89 8.01 8.04 9/188 30016
/proc/meminfo: memFree=18931932/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=1054992 CPUtime=201.15 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 488847 0 0 0 19989 126 0 0 18 0 5 0 595004564 1080311808 198224 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 263748 198224 417 389 0 259498 0
[pid=30010/tid=30012] ppid=30009 vsize=1054992 CPUtime=49.91 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 82927 0 0 0 4962 29 0 0 25 0 5 0 595004624 1080311808 198224 33554432000 4194304 5787044 140735304273472 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=1054992 CPUtime=50.2 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 89015 0 0 0 4991 29 0 0 25 0 5 0 595004636 1080311808 198224 33554432000 4194304 5787044 140735304273472 18446744073709551615 4217277 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=1054992 CPUtime=50.1 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 79949 0 0 0 4994 16 0 0 25 0 5 0 595004649 1080311808 198224 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220668 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=1054992 CPUtime=49.96 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 153948 0 0 0 4954 42 0 0 25 0 5 0 595004663 1080311808 198224 33554432000 4194304 5787044 140735304273472 18446744073709551615 4336801 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.15
Current children cumulated vsize (KiB) 1063692

[startup+102.307 s]
/proc/loadavg: 7.95 8.00 8.03 9/188 30017
/proc/meminfo: memFree=18764576/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=1217096 CPUtime=405.68 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 550104 0 0 0 40432 136 0 0 18 0 5 0 595004564 1246306304 218800 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 304274 218800 418 389 0 300024 0
[pid=30010/tid=30012] ppid=30009 vsize=1217096 CPUtime=100.98 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 88012 0 0 0 10068 30 0 0 25 0 5 0 595004624 1246306304 218800 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220881 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=1217096 CPUtime=101.24 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 91202 0 0 0 10095 29 0 0 25 0 5 0 595004636 1246306304 218800 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220896 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=1217096 CPUtime=101.3 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 80749 0 0 0 10114 16 0 0 25 0 5 0 595004649 1246306304 218800 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=1217096 CPUtime=101.16 cores=0,2,4,6

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

/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 169762 0 0 0 87649 56 0 0 25 0 5 0 595004636 2159542272 437958 33554432000 4194304 5787044 140735304273472 18446744073709551615 5585273 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=2108928 CPUtime=881.05 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 134720 0 0 0 88068 37 0 0 25 0 5 0 595004649 2159542272 437958 33554432000 4194304 5787044 140735304273472 18446744073709551615 4227988 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=2108928 CPUtime=881.18 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 350042 0 0 0 88042 76 0 0 25 0 5 0 595004663 2159542272 437958 33554432000 4194304 5787044 140735304273472 18446744073709551615 4336957 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.51
Current children cumulated vsize (KiB) 2117628

[startup+942.3 s]
/proc/loadavg: 8.13 8.08 8.02 9/188 30043
/proc/meminfo: memFree=16855136/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=2118140 CPUtime=3760.18 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 902230 0 0 0 375786 232 0 0 18 0 5 0 595004564 2168975360 454440 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 529535 454440 419 389 0 525285 0
[pid=30010/tid=30012] ppid=30009 vsize=2118140 CPUtime=940.24 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 148874 0 0 0 93975 49 0 0 25 0 5 0 595004624 2168975360 454440 33554432000 4194304 5787044 140735304273472 18446744073709551615 4227988 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=2118140 CPUtime=937.05 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 171420 0 0 0 93649 56 0 0 25 0 5 0 595004636 2168975360 454440 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220696 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=2118140 CPUtime=940.73 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 134948 0 0 0 94036 37 0 0 25 0 5 0 595004649 2168975360 454440 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220248 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=2118140 CPUtime=941.19 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 363980 0 0 0 94039 80 0 0 25 0 5 0 595004663 2168975360 454440 33554432000 4194304 5787044 140735304273472 18446744073709551615 4254617 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.18
Current children cumulated vsize (KiB) 2126840

[startup+1002.3 s]
/proc/loadavg: 8.11 8.08 8.02 9/188 30044
/proc/meminfo: memFree=16787044/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=2145760 CPUtime=3999.85 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 920219 0 0 0 399751 234 0 0 18 0 5 0 595004564 2197258240 461854 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 536440 461854 419 389 0 532190 0
[pid=30010/tid=30012] ppid=30009 vsize=2145760 CPUtime=1000.23 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 162177 0 0 0 99973 50 0 0 25 0 5 0 595004624 2197258240 461854 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220288 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=2145760 CPUtime=997.05 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 171431 0 0 0 99649 56 0 0 25 0 5 0 595004636 2197258240 461854 33554432000 4194304 5787044 140735304273472 18446744073709551615 4229538 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=2145760 CPUtime=1000.4 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 134948 0 0 0 100003 37 0 0 25 0 5 0 595004649 2197258240 461854 33554432000 4194304 5787044 140735304273472 18446744073709551615 5586779 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=2145760 CPUtime=1001.18 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 368655 0 0 0 100038 80 0 0 25 0 5 0 595004663 2197258240 461854 33554432000 4194304 5787044 140735304273472 18446744073709551615 4336986 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.85
Current children cumulated vsize (KiB) 2154460

[startup+1062.3 s]
/proc/loadavg: 8.10 8.08 8.02 9/188 30046
/proc/meminfo: memFree=16541124/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=2324908 CPUtime=4239.53 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 958552 0 0 0 423707 246 0 0 18 0 5 0 595004564 2380705792 500187 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 581227 500187 419 389 0 576977 0
[pid=30010/tid=30012] ppid=30009 vsize=2324908 CPUtime=1060.23 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 179039 0 0 0 105968 55 0 0 25 0 5 0 595004624 2380705792 500187 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220738 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=2324908 CPUtime=1057.05 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 184958 0 0 0 105645 60 0 0 25 0 5 0 595004636 2380705792 500187 33554432000 4194304 5787044 140735304273472 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=2324908 CPUtime=1060.08 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 142892 0 0 0 105968 40 0 0 25 0 5 0 595004649 2380705792 500187 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220916 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=2324908 CPUtime=1061.18 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 368655 0 0 0 106038 80 0 0 25 0 5 0 595004663 2380705792 500187 33554432000 4194304 5787044 140735304273472 18446744073709551615 4337014 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.53
Current children cumulated vsize (KiB) 2333608

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 8.02 9/188 30048
/proc/meminfo: memFree=16275488/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=2368952 CPUtime=4479.19 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 978357 0 0 0 447668 251 0 0 18 0 5 0 595004564 2425806848 519959 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 592238 519959 419 389 0 587988 0
[pid=30010/tid=30012] ppid=30009 vsize=2368952 CPUtime=1120.23 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 183766 0 0 0 111967 56 0 0 25 0 5 0 595004624 2425806848 519959 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220335 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=2368952 CPUtime=1117.05 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 191061 0 0 0 111642 63 0 0 25 0 5 0 595004636 2425806848 519959 33554432000 4194304 5787044 140735304273472 18446744073709551615 5576660 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=2368952 CPUtime=1119.74 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 151867 0 0 0 111933 41 0 0 25 0 5 0 595004649 2425806848 519959 33554432000 4194304 5787044 140735304273472 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=2368952 CPUtime=1121.19 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 368655 0 0 0 112039 80 0 0 25 0 5 0 595004663 2425806848 519959 33554432000 4194304 5787044 140735304273472 18446744073709551615 4336977 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4479.19
Current children cumulated vsize (KiB) 2377652

[startup+1182.3 s]
/proc/loadavg: 7.95 8.03 8.00 9/188 30082
/proc/meminfo: memFree=17371892/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=2380948 CPUtime=4718.84 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 981367 0 0 0 471630 254 0 0 18 0 5 0 595004564 2438090752 522914 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 595237 522914 419 389 0 590987 0
[pid=30010/tid=30012] ppid=30009 vsize=2380948 CPUtime=1180.19 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 186691 0 0 0 117960 59 0 0 25 0 5 0 595004624 2438090752 522914 33554432000 4194304 5787044 140735304273472 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=2380948 CPUtime=1177.05 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 191061 0 0 0 117642 63 0 0 25 0 5 0 595004636 2438090752 522914 33554432000 4194304 5787044 140735304273472 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=2380948 CPUtime=1179.42 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 151952 0 0 0 117901 41 0 0 25 0 5 0 595004649 2438090752 522914 33554432000 4194304 5787044 140735304273472 18446744073709551615 4254912 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=2380948 CPUtime=1181.19 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 368655 0 0 0 118039 80 0 0 25 0 5 0 595004663 2438090752 522914 33554432000 4194304 5787044 140735304273472 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.84
Current children cumulated vsize (KiB) 2389648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.7 s]
/proc/loadavg: 7.97 8.03 8.00 9/188 30083
/proc/meminfo: memFree=16944088/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=2380948 CPUtime=4800.34 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 981373 0 0 0 479780 254 0 0 18 0 5 0 595004564 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 595237 522920 419 389 0 590987 0
[pid=30010/tid=30012] ppid=30009 vsize=2380948 CPUtime=1200.6 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 186691 0 0 0 120001 59 0 0 25 0 5 0 595004624 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220881 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=2380948 CPUtime=1197.45 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 191061 0 0 0 119682 63 0 0 25 0 5 0 595004636 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 5576674 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=2380948 CPUtime=1199.71 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 151958 0 0 0 119930 41 0 0 25 0 5 0 595004649 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=2380948 CPUtime=1201.6 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 368655 0 0 0 120080 80 0 0 25 0 5 0 595004663 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 4336688 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 2389648

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

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

[startup+1202.7 s]
/proc/loadavg: 7.97 8.03 8.00 9/188 30083
/proc/meminfo: memFree=16944088/32950928 swapFree=67111524/67111528
[pid=30009] ppid=30007 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/30009/stat : 30009 (prissAuto.sh) S 30007 30009 28251 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 595004564 8908800 251 33554432000 4194304 4922060 140734926236800 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/30009/statm: 2175 251 211 178 0 68 0
[pid=30010] ppid=30009 vsize=2380948 CPUtime=4800.34 cores=0,2,4,6
/proc/30010/stat : 30010 (priss) S 30009 30009 28251 0 -1 4202496 981373 0 0 0 479780 254 0 0 18 0 5 0 595004564 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30010/statm: 595237 522920 419 389 0 590987 0
[pid=30010/tid=30012] ppid=30009 vsize=2380948 CPUtime=1200.6 cores=0,2,4,6
/proc/30010/task/30012/stat : 30012 (priss) R 30009 30009 28251 0 -1 4202560 186691 0 0 0 120001 59 0 0 25 0 5 0 595004624 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 4220881 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30010/tid=30013] ppid=30009 vsize=2380948 CPUtime=1197.45 cores=0,2,4,6
/proc/30010/task/30013/stat : 30013 (priss) R 30009 30009 28251 0 -1 4202560 191061 0 0 0 119682 63 0 0 25 0 5 0 595004636 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 5576674 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=30010/tid=30014] ppid=30009 vsize=2380948 CPUtime=1199.71 cores=0,2,4,6
/proc/30010/task/30014/stat : 30014 (priss) R 30009 30009 28251 0 -1 4202560 151958 0 0 0 119930 41 0 0 25 0 5 0 595004649 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=30010/tid=30015] ppid=30009 vsize=2380948 CPUtime=1201.6 cores=0,2,4,6
/proc/30010/task/30015/stat : 30015 (priss) R 30009 30009 28251 0 -1 4202560 368655 0 0 0 120080 80 0 0 25 0 5 0 595004663 2438090752 522920 33554432000 4194304 5787044 140735304273472 18446744073709551615 4336688 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 2389648

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1202.72
CPU time (s): 4800.34
CPU user time (s): 4797.8
CPU system time (s): 2.54
CPU usage (%): 399.125
Max. virtual memory (cumulated for all children) (KiB): 2389648

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= 330
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 2.07868 second user time and 4.49432 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 05:28:59
IDJOB=3285340
IDBENCH=82379
IDSOLVER=1602
FILE ID=node114/3285340-1304047738
RUNJOBID= node114-1304044060-29644
PBS_JOBID= 13170369
Free space on /tmp= 71752 MiB

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

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

MD5SUM BENCH= 6ed645315c9ffb8177453b955fbe1737
RANDOM SEED=1583041901

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.848
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.848
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19773332 kB
Buffers:       2255028 kB
Cached:        9591468 kB
SwapCached:          4 kB
Active:        4111364 kB
Inactive:      8484704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19773332 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           46852 kB
Writeback:           0 kB
AnonPages:      749032 kB
Mapped:          15620 kB
Slab:           516832 kB
PageTables:       6348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1054044 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71728 MiB
End job on node114 at 2011-04-29 05:49:04