Trace number 3285479

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

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
MD5SUM5d1253e2dcc0e3e55992672756beadbc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2074.86
Satisfiable
(Un)Satisfiability was proved
Number of variables756832
Number of clauses4116966
Sum of the clauses size9765566
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 24082840
Number of clauses of size 3640
Number of clauses of size 4800
Number of clauses of size 5800
Number of clauses of size over 531040

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: 10002
1.79/1.84	c parsetime: 1842504us
1.79/1.84	c parsed 4116966 clauses with 756832 variables
1.99/2.09	c NW started thread 0 successfully (1095063872)
2.49/2.35	c NW started thread 1 successfully (1105553728)
3.29/2.62	c NW started thread 2 successfully (1116043584)
4.43/3.00	c NW started thread 3 successfully (1126533440)
262.94/68.27	c preprocessor returned 756832 variables
262.94/68.27	c preprocessing returned UNKNOWN
262.94/68.27	c PP set 177301 variables
262.94/68.27	c pp time: 66013674us (66s)
267.75/69.46	c preprocessor returned 756832 variables
267.75/69.46	c preprocessing returned UNKNOWN
267.75/69.46	c PP set 177301 variables
267.75/69.46	c pp time: 66933755us (66s)
268.55/69.64	c preprocessor returned 756832 variables
268.55/69.64	c preprocessing returned UNKNOWN
268.55/69.64	c PP set 177301 variables
268.55/69.64	c pp time: 66406901us (66s)
271.34/70.32	c preprocessor returned 756832 variables
271.34/70.32	c preprocessing returned UNKNOWN
271.34/70.32	c PP set 177301 variables
271.34/70.32	c pp time: 67392381us (67s)
365.61/93.97	c HTE
478.25/122.10	c subsumption
478.25/122.10	c simplified formula contains 0 unit clauses
569.30/144.96	c HTE
654.79/166.33	c subsumption
654.79/166.33	c simplified formula contains 0 unit clauses
655.19/166.44	c received clause contains eliminated literal -151787
743.07/188.45	c HTE
827.35/209.51	c subsumption
827.35/209.51	c simplified formula contains 0 unit clauses
827.77/209.61	c received clause contains eliminated literal -151349
915.22/231.58	c HTE
999.11/252.59	c subsumption
999.11/252.59	c simplified formula contains 0 unit clauses
999.52/252.69	c received clause contains eliminated literal -151787
1087.40/274.64	c HTE
1172.05/295.84	c subsumption
1172.05/295.84	c simplified formula contains 0 unit clauses
1172.45/295.95	c received clause contains eliminated literal -189091
1260.33/317.94	c HTE
1343.82/338.80	c subsumption
1343.82/338.80	c simplified formula contains 0 unit clauses
1344.22/338.91	c received clause contains eliminated literal -189578
1431.30/360.72	c HTE
1530.28/385.57	c subsumption
1530.28/385.57	c simplified formula contains 0 unit clauses
1530.67/385.68	c received clause contains eliminated literal -189604
1618.13/407.56	c HTE
1701.10/428.33	c subsumption
1701.10/428.33	c simplified formula contains 0 unit clauses
1701.50/428.45	c received clause contains eliminated literal -189228
1701.50/428.45	c received clause contains eliminated literal -189183
1701.50/428.45	c received clause contains eliminated literal -189244
1831.31/461.00	c HTE
1913.95/481.66	c subsumption
1913.95/481.66	c simplified formula contains 0 unit clauses
1914.34/481.77	c received clause contains eliminated literal -189296
1929.52/485.50	c received clause contains eliminated literal -264965
2045.77/514.69	c HTE
2130.45/535.88	c subsumption
2130.45/535.88	c simplified formula contains 0 unit clauses
2130.85/535.99	c received clause contains eliminated literal -151402
2217.13/557.53	c HTE
2298.22/577.89	c subsumption
2298.22/577.89	c simplified formula contains 0 unit clauses
2299.02/578.00	c received clause contains eliminated literal -151807
2299.02/578.00	c received clause contains eliminated literal -189341
2299.02/578.00	c received clause contains eliminated literal -189161
2299.02/578.00	c received clause contains eliminated literal -189452
2421.24/608.63	c HTE
2503.11/629.15	c subsumption
2503.11/629.15	c simplified formula contains 0 unit clauses
2503.51/629.26	c received clause contains eliminated literal -151619
2503.51/629.26	c received clause contains eliminated literal -189154
2535.86/637.34	c received clause contains eliminated literal -227444
2621.74/658.80	c HTE
2703.63/679.37	c subsumption
2703.63/679.37	c simplified formula contains 0 unit clauses
2704.03/679.48	c received clause contains eliminated literal -151245
2704.03/679.48	c received clause contains eliminated literal -265220
2797.76/702.92	c HTE
2879.16/723.39	c subsumption
2879.16/723.39	c simplified formula contains 0 unit clauses
2910.69/731.23	c received clause contains eliminated literal -226895
2996.58/752.79	c HTE
3078.76/773.38	c subsumption
3078.76/773.38	c simplified formula contains 0 unit clauses
3079.15/773.49	c received clause contains eliminated literal -189568
3079.15/773.49	c received clause contains eliminated literal -264875
3163.83/794.67	c HTE
3244.87/814.96	c subsumption
3244.87/814.96	c simplified formula contains 0 unit clauses
3245.27/815.07	c received clause contains eliminated literal -227159
3245.27/815.07	c received clause contains eliminated literal -151402
3245.27/815.07	c received clause contains eliminated literal -189343
3513.29/882.19	c HTE
3595.93/902.89	c subsumption
3595.93/902.89	c simplified formula contains 0 unit clauses
3596.73/903.01	c received clause contains eliminated literal -151439
3596.73/903.01	c received clause contains eliminated literal -189533
3700.20/928.97	c HTE
3780.88/949.19	c subsumption
3780.88/949.19	c simplified formula contains 0 unit clauses
3781.68/949.30	c received clause contains eliminated literal -265205
3781.68/949.30	c received clause contains eliminated literal -189614
3867.16/970.72	c HTE
3948.25/991.00	c subsumption
3948.25/991.00	c simplified formula contains 0 unit clauses
4008.54/1006.13	c received clause contains eliminated literal -265040
4212.63/1057.20	c HTE
4293.33/1077.41	c subsumption
4293.33/1077.41	c simplified formula contains 0 unit clauses
4461.09/1119.41	c HTE
4542.82/1139.97	c subsumption
4542.82/1139.97	c simplified formula contains 0 unit clauses
4543.22/1140.08	c received clause contains eliminated literal -227329
4543.22/1140.08	c received clause contains eliminated literal -226988
4628.69/1161.46	c HTE

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-3285479-1304049526/watcher-3285479-1304049526 -o /tmp/evaluation-result-3285479-1304049526/solver-3285479-1304049526 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3285479-1304049526.cnf 727501304 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.92 8.06 8.00 2/178 10001
/proc/meminfo: memFree=15383092/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0

[startup+0.081299 s]
/proc/loadavg: 7.92 8.06 8.00 2/178 10001
/proc/meminfo: memFree=15383092/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100294 s]
/proc/loadavg: 7.92 8.06 8.00 2/178 10001
/proc/meminfo: memFree=15383092/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300218 s]
/proc/loadavg: 7.92 8.06 8.00 2/178 10001
/proc/meminfo: memFree=15383092/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.11006 s]
/proc/loadavg: 7.92 8.06 8.00 2/178 10001
/proc/meminfo: memFree=15383092/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50098 s]
/proc/loadavg: 7.92 8.06 8.00 2/178 10001
/proc/meminfo: memFree=15383092/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.10065 s]
/proc/loadavg: 7.60 7.99 7.98 6/187 10010
/proc/meminfo: memFree=12339872/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=1885936 CPUtime=4.69 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 425440 0 0 0 392 77 0 0 18 0 5 0 516553286 1931198464 390823 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 471484 390823 342 389 0 467234 0
[pid=10002/tid=10008] ppid=10001 vsize=1885936 CPUtime=0.85 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) D 10001 10001 9766 0 -1 4202560 88331 0 0 0 70 15 0 0 18 0 5 0 516553495 1931198464 390823 33554432000 4194304 5787044 140734906305632 18446744073709551615 4303089 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=1885936 CPUtime=0.62 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) D 10001 10001 9766 0 -1 4202560 64383 0 0 0 41 21 0 0 18 0 5 0 516553521 1931198464 390823 33554432000 4194304 5787044 140734906305632 18446744073709551615 244446988471 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=1885936 CPUtime=0.29 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) D 10001 10001 9766 0 -1 4202560 53840 0 0 0 17 12 0 0 18 0 5 0 516553548 1931198464 390823 33554432000 4194304 5787044 140734906305632 18446744073709551615 244446988471 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 1894636

[startup+6.30103 s]
/proc/loadavg: 7.64 7.99 7.98 10/188 10012
/proc/meminfo: memFree=9420084/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=3799788 CPUtime=16.26 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 937827 0 0 0 1368 258 0 0 18 0 5 0 516553286 3890982912 876601 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 949947 876601 346 389 0 945697 0
[pid=10002/tid=10008] ppid=10001 vsize=3799788 CPUtime=3.85 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 184267 0 0 0 352 33 0 0 20 0 5 0 516553495 3890982912 876601 33554432000 4194304 5787044 140734906305632 18446744073709551615 4324698 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=3799788 CPUtime=3.61 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 186902 0 0 0 292 69 0 0 18 0 5 0 516553521 3890982912 876601 33554432000 4194304 5787044 140734906305632 18446744073709551615 4307811 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=3799788 CPUtime=3.07 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 185415 0 0 0 241 66 0 0 18 0 5 0 516553548 3890982912 876601 33554432000 4194304 5787044 140734906305632 18446744073709551615 4306207 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=3799788 CPUtime=2.82 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 186481 0 0 0 220 62 0 0 18 0 5 0 516553586 3890982912 876601 33554432000 4194304 5787044 140734906305632 18446744073709551615 4306221 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 16.26
Current children cumulated vsize (KiB) 3808488

[startup+12.7008 s]
/proc/loadavg: 7.66 7.99 7.98 9/188 10012
/proc/meminfo: memFree=9548176/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=3648772 CPUtime=41.61 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 959174 0 0 0 3899 262 0 0 18 0 5 0 516553286 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 912193 844731 349 389 0 907943 0
[pid=10002/tid=10008] ppid=10001 vsize=3648772 CPUtime=10.26 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 191985 0 0 0 992 34 0 0 25 0 5 0 516553495 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=3648772 CPUtime=9.78 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 197575 0 0 0 907 71 0 0 25 0 5 0 516553521 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=3648772 CPUtime=9.44 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 186893 0 0 0 877 67 0 0 25 0 5 0 516553548 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=3648772 CPUtime=9.23 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 187959 0 0 0 860 63 0 0 25 0 5 0 516553586 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 41.61
Current children cumulated vsize (KiB) 3657472

[startup+25.5004 s]
/proc/loadavg: 7.80 8.00 7.98 9/188 10012
/proc/meminfo: memFree=10441264/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=3648772 CPUtime=92.71 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 959174 0 0 0 9009 262 0 0 18 0 5 0 516553286 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 912193 844731 349 389 0 907943 0
[pid=10002/tid=10008] ppid=10001 vsize=3648772 CPUtime=23.05 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 191985 0 0 0 2271 34 0 0 25 0 5 0 516553495 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330484 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=3648772 CPUtime=22.57 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 197575 0 0 0 2186 71 0 0 25 0 5 0 516553521 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 4332100 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=3648772 CPUtime=22.17 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 186893 0 0 0 2150 67 0 0 25 0 5 0 516553548 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=3648772 CPUtime=22.02 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 187959 0 0 0 2139 63 0 0 25 0 5 0 516553586 3736342528 844731 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330518 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 92.71
Current children cumulated vsize (KiB) 3657472

[startup+51.1007 s]
/proc/loadavg: 7.93 8.02 7.99 9/188 10013
/proc/meminfo: memFree=10456500/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=3179648 CPUtime=194.64 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 1306790 0 0 0 19099 365 0 0 18 0 5 0 516553286 3255959552 705008 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 794912 705008 353 389 0 790662 0
[pid=10002/tid=10008] ppid=10001 vsize=3179648 CPUtime=48.64 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 283820 0 0 0 4801 63 0 0 25 0 5 0 516553495 3255959552 705008 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=3179648 CPUtime=48.08 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 289545 0 0 0 4714 94 0 0 25 0 5 0 516553521 3255959552 705008 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330484 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=3179648 CPUtime=47.53 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 273798 0 0 0 4659 94 0 0 25 0 5 0 516553548 3255959552 705008 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330518 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=3179648 CPUtime=47.49 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 264865 0 0 0 4663 86 0 0 25 0 5 0 516553586 3255959552 705008 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 194.64
Current children cumulated vsize (KiB) 3188348

[startup+102.301 s]
/proc/loadavg: 8.03 8.03 8.00 9/188 10014
/proc/meminfo: memFree=10057344/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=3610436 CPUtime=399.16 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 1479840 0 0 0 39530 386 0 0 18 0 5 0 516553286 3697086464 786426 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 902609 786426 418 389 0 898359 0
[pid=10002/tid=10008] ppid=10001 vsize=3610436 CPUtime=99.84 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 313496 0 0 0 9918 66 0 0 25 0 5 0 516553495 3697086464 786426 33554432000 4194304 5787044 140734906305632 18446744073709551615 5590832 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=3610436 CPUtime=99.28 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 328427 0 0 0 9829 99 0 0 25 0 5 0 516553521 3697086464 786426 33554432000 4194304 5787044 140734906305632 18446744073709551615 4242261 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=3610436 CPUtime=98.45 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 326295 0 0 0 9744 101 0 0 25 0 5 0 516553548 3697086464 786426 33554432000 4194304 5787044 140734906305632 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=3610436 CPUtime=98.69 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 316860 0 0 0 9776 93 0 0 25 0 5 0 516553586 3697086464 786426 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 399.16
Current children cumulated vsize (KiB) 3619136

[startup+162.301 s]
/proc/loadavg: 8.12 8.05 8.00 9/188 10025
/proc/meminfo: memFree=9501340/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=3923780 CPUtime=638.83 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 1579200 0 0 0 63476 407 0 0 18 0 5 0 516553286 4017950720 855242 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 980945 855242 419 389 0 976695 0

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

/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 347228 0 0 0 81807 106 0 0 25 0 5 0 516553521 4473032704 968932 33554432000 4194304 5787044 140734906305632 18446744073709551615 5590624 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=4368196 CPUtime=814.19 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 338351 0 0 0 81315 104 0 0 25 0 5 0 516553548 4473032704 968932 33554432000 4194304 5787044 140734906305632 18446744073709551615 5588265 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=4368196 CPUtime=818.66 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 791944 0 0 0 81692 174 0 0 25 0 5 0 516553586 4473032704 968932 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220782 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3274.45
Current children cumulated vsize (KiB) 4376896

[startup+882.301 s]
/proc/loadavg: 8.12 8.07 8.02 9/188 10047
/proc/meminfo: memFree=7822684/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=4368196 CPUtime=3514.09 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 2019931 0 0 0 350926 483 0 0 18 0 5 0 516553286 4473032704 968933 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 1092049 968933 420 389 0 1087799 0
[pid=10002/tid=10008] ppid=10001 vsize=4368196 CPUtime=879.56 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 343871 0 0 0 87886 70 0 0 25 0 5 0 516553495 4473032704 968933 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220818 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=4368196 CPUtime=879.13 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 347228 0 0 0 87807 106 0 0 25 0 5 0 516553521 4473032704 968933 33554432000 4194304 5787044 140734906305632 18446744073709551615 4227995 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=4368196 CPUtime=873.85 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 338351 0 0 0 87280 105 0 0 25 0 5 0 516553548 4473032704 968933 33554432000 4194304 5787044 140734906305632 18446744073709551615 5590753 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=4368196 CPUtime=878.66 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 795719 0 0 0 87691 175 0 0 18 0 5 0 516553586 4473032704 968933 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3514.09
Current children cumulated vsize (KiB) 4376896

[startup+942.307 s]
/proc/loadavg: 8.15 8.08 8.02 9/188 10048
/proc/meminfo: memFree=7552600/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=4433732 CPUtime=3753.75 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 2059963 0 0 0 374885 490 0 0 18 0 5 0 516553286 4540141568 984427 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 1108433 984427 420 389 0 1104183 0
[pid=10002/tid=10008] ppid=10001 vsize=4433732 CPUtime=939.55 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 343908 0 0 0 93885 70 0 0 25 0 5 0 516553495 4540141568 984427 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=4433732 CPUtime=939.1 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 347231 0 0 0 93804 106 0 0 25 0 5 0 516553521 4540141568 984427 33554432000 4194304 5787044 140734906305632 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=4433732 CPUtime=933.52 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 338449 0 0 0 93247 105 0 0 25 0 5 0 516553548 4540141568 984427 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220347 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=4433732 CPUtime=938.66 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 835613 0 0 0 93685 181 0 0 25 0 5 0 516553586 4540141568 984427 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330518 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3753.75
Current children cumulated vsize (KiB) 4442432

[startup+1002.3 s]
/proc/loadavg: 8.11 8.08 8.02 10/188 10050
/proc/meminfo: memFree=7087464/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=4499268 CPUtime=3993.34 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 2117993 0 0 0 398833 501 0 0 18 0 5 0 516553286 4607250432 1001768 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 1124817 1001768 420 389 0 1120567 0
[pid=10002/tid=10008] ppid=10001 vsize=4499268 CPUtime=999.55 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 343908 0 0 0 99885 70 0 0 25 0 5 0 516553495 4607250432 1001768 33554432000 4194304 5787044 140734906305632 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=4499268 CPUtime=999.04 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 347373 0 0 0 99798 106 0 0 25 0 5 0 516553521 4607250432 1001768 33554432000 4194304 5787044 140734906305632 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=4499268 CPUtime=993.18 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 338449 0 0 0 99213 105 0 0 25 0 5 0 516553548 4607250432 1001768 33554432000 4194304 5787044 140734906305632 18446744073709551615 5586623 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=4499268 CPUtime=998.66 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 893501 0 0 0 99674 192 0 0 25 0 5 0 516553586 4607250432 1001768 33554432000 4194304 5787044 140734906305632 18446744073709551615 5528390 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3993.34
Current children cumulated vsize (KiB) 4507968

[startup+1062.3 s]
/proc/loadavg: 8.10 8.08 8.02 9/188 10052
/proc/meminfo: memFree=7028044/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=4601672 CPUtime=4233 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 2145708 0 0 0 422796 504 0 0 18 0 5 0 516553286 4712112128 1016676 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 1150418 1016676 420 389 0 1146168 0
[pid=10002/tid=10008] ppid=10001 vsize=4601672 CPUtime=1059.55 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 343908 0 0 0 105885 70 0 0 25 0 5 0 516553495 4712112128 1016676 33554432000 4194304 5787044 140734906305632 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=4601672 CPUtime=1059.05 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 348302 0 0 0 105798 107 0 0 25 0 5 0 516553521 4712112128 1016676 33554432000 4194304 5787044 140734906305632 18446744073709551615 4218754 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=4601672 CPUtime=1052.85 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 338449 0 0 0 105180 105 0 0 25 0 5 0 516553548 4712112128 1016676 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220241 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=4601672 CPUtime=1058.66 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 920287 0 0 0 105671 195 0 0 25 0 5 0 516553586 4712112128 1016676 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4233
Current children cumulated vsize (KiB) 4610372

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/188 10053
/proc/meminfo: memFree=7027040/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=4601672 CPUtime=4472.65 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 2167161 0 0 0 446757 508 0 0 18 0 5 0 516553286 4712112128 1016726 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 1150418 1016726 420 389 0 1146168 0
[pid=10002/tid=10008] ppid=10001 vsize=4601672 CPUtime=1119.56 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 343908 0 0 0 111885 71 0 0 25 0 5 0 516553495 4712112128 1016726 33554432000 4194304 5787044 140734906305632 18446744073709551615 4213832 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=4601672 CPUtime=1119.05 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 348302 0 0 0 111798 107 0 0 25 0 5 0 516553521 4712112128 1016726 33554432000 4194304 5787044 140734906305632 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=4601672 CPUtime=1112.51 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 338449 0 0 0 111146 105 0 0 25 0 5 0 516553548 4712112128 1016726 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220225 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=4601672 CPUtime=1118.64 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 941740 0 0 0 111666 198 0 0 25 0 5 0 516553586 4712112128 1016726 33554432000 4194304 5787044 140734906305632 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4472.65
Current children cumulated vsize (KiB) 4610372

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 8.03 9/188 10055
/proc/meminfo: memFree=6974940/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=4628780 CPUtime=4712.16 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 2195278 0 0 0 470704 512 0 0 18 0 5 0 516553286 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 1157195 1023434 420 389 0 1152945 0
[pid=10002/tid=10008] ppid=10001 vsize=4628780 CPUtime=1179.47 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 343908 0 0 0 117876 71 0 0 25 0 5 0 516553495 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 4228059 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=4628780 CPUtime=1178.97 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 348302 0 0 0 117790 107 0 0 25 0 5 0 516553521 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220225 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=4628780 CPUtime=1172.51 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 338449 0 0 0 117146 105 0 0 25 0 5 0 516553548 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=4628780 CPUtime=1178.31 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 969857 0 0 0 117629 202 0 0 25 0 5 0 516553586 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 4332824 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4712.16
Current children cumulated vsize (KiB) 4637480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.3 s]
/proc/loadavg: 8.08 8.08 8.03 5/181 10056
/proc/meminfo: memFree=11360008/32951124 swapFree=67111528/67111528
[pid=10001] ppid=9999 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/10001/stat : 10001 (priss.sh) S 9999 10001 9766 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 516553285 8908800 252 33554432000 4194304 4922060 140733276726192 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/10001/statm: 2175 252 211 178 0 68 0
[pid=10002] ppid=10001 vsize=4628780 CPUtime=4800.05 cores=0,2,4,6
/proc/10002/stat : 10002 (priss) S 10001 10001 9766 0 -1 4202496 2195278 0 0 0 479493 512 0 0 18 0 5 0 516553286 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/10002/statm: 1157195 1023434 420 389 0 1152945 0
[pid=10002/tid=10008] ppid=10001 vsize=4628780 CPUtime=1201.48 cores=0,2,4,6
/proc/10002/task/10008/stat : 10008 (priss) R 10001 10001 9766 0 -1 4202560 343908 0 0 0 120077 71 0 0 25 0 5 0 516553495 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220225 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=10002/tid=10009] ppid=10001 vsize=4628780 CPUtime=1200.97 cores=0,2,4,6
/proc/10002/task/10009/stat : 10009 (priss) R 10001 10001 9766 0 -1 4202560 348302 0 0 0 119990 107 0 0 25 0 5 0 516553521 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=10002/tid=10010] ppid=10001 vsize=4628780 CPUtime=1194.52 cores=0,2,4,6
/proc/10002/task/10010/stat : 10010 (priss) R 10001 10001 9766 0 -1 4202560 338449 0 0 0 119347 105 0 0 25 0 5 0 516553548 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 4220855 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=10002/tid=10011] ppid=10001 vsize=4628780 CPUtime=1200.18 cores=0,2,4,6
/proc/10002/task/10011/stat : 10011 (priss) R 10001 10001 9766 0 -1 4202560 969857 0 0 0 119816 202 0 0 25 0 5 0 516553586 4739870720 1023434 33554432000 4194304 5787044 140734906305632 18446744073709551615 4332602 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 4637480

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1204.32
CPU time (s): 4800.05
CPU user time (s): 4794.93
CPU system time (s): 5.12
CPU usage (%): 398.57
Max. virtual memory (cumulated for all children) (KiB): 4681328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2

runsolver used 1.93271 second user time and 4.64829 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 05:58:48
IDJOB=3285479
IDBENCH=82387
IDSOLVER=1603
FILE ID=node105/3285479-1304049526
RUNJOBID= node105-1304047118-9784
PBS_JOBID= 13170404
Free space on /tmp= 71804 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285479-1304049526/watcher-3285479-1304049526 -o /tmp/evaluation-result-3285479-1304049526/solver-3285479-1304049526 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3285479-1304049526.cnf 727501304 4800 15500 4

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

MD5SUM BENCH= 5d1253e2dcc0e3e55992672756beadbc
RANDOM SEED=727501304

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.82
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.825
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:     32951124 kB
MemFree:      15383240 kB
Buffers:       2300484 kB
Cached:       14553132 kB
SwapCached:          0 kB
Active:        9142988 kB
Inactive:      7851764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15383240 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          141592 kB
Writeback:           0 kB
AnonPages:      140148 kB
Mapped:          14936 kB
Slab:           510804 kB
PageTables:       4708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   285084 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= 71856 MiB
End job on node105 at 2011-04-29 06:18:55