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-3266960-1304085588/watcher-3266960-1304085588 -o /tmp/evaluation-result-3266960-1304085588/solver-3266960-1304085588 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3266960-1304085588.cnf 396979175 4800 15500 4
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.87 8.06 8.06 5/182 5371
/proc/meminfo: memFree=19671740/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[startup+0.0561129 s]
/proc/loadavg: 7.87 8.06 8.06 5/182 5371
/proc/meminfo: memFree=19671740/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.307794 s]
/proc/loadavg: 7.87 8.06 8.06 5/182 5371
/proc/meminfo: memFree=19671740/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.07188 s]
/proc/loadavg: 7.87 8.06 8.06 5/182 5371
/proc/meminfo: memFree=19671740/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.17187 s]
/proc/loadavg: 7.87 8.06 8.06 5/182 5371
/proc/meminfo: memFree=19671740/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50081 s]
/proc/loadavg: 7.87 8.06 8.06 5/182 5371
/proc/meminfo: memFree=19671740/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+3.10052 s]
/proc/loadavg: 7.88 8.06 8.06 9/188 5377
/proc/meminfo: memFree=19622596/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=290704 CPUtime=12.27 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 23705 0 0 0 1222 5 0 0 25 0 5 0 520158564 297680896 12386 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 72676 12386 404 389 0 68426 0
[pid=5372/tid=5374] ppid=5371 vsize=290704 CPUtime=3.05 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 5747 0 0 0 304 1 0 0 25 0 5 0 520158566 297680896 12386 33554432000 4194304 5787044 140736879013296 18446744073709551615 5586709 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=290704 CPUtime=3.06 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 4545 0 0 0 305 1 0 0 25 0 5 0 520158567 297680896 12386 33554432000 4194304 5787044 140736879013296 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=290704 CPUtime=3.05 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 5163 0 0 0 304 1 0 0 25 0 5 0 520158568 297680896 12386 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591780 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=290704 CPUtime=3.04 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 4277 0 0 0 304 0 0 0 25 0 5 0 520158568 297680896 12386 33554432000 4194304 5787044 140736879013296 18446744073709551615 237278573529 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 299404
[startup+6.30695 s]
/proc/loadavg: 7.88 8.06 8.06 9/188 5377
/proc/meminfo: memFree=19613988/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=296128 CPUtime=25.08 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 25896 0 0 0 2502 6 0 0 25 0 5 0 520158564 303235072 14577 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 74032 14577 404 389 0 69782 0
[pid=5372/tid=5374] ppid=5371 vsize=296128 CPUtime=6.23 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 6117 0 0 0 622 1 0 0 25 0 5 0 520158566 303235072 14577 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591532 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=296128 CPUtime=6.26 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 5914 0 0 0 625 1 0 0 25 0 5 0 520158567 303235072 14577 33554432000 4194304 5787044 140736879013296 18446744073709551615 5590836 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=296128 CPUtime=6.26 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 5615 0 0 0 625 1 0 0 25 0 5 0 520158568 303235072 14577 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=296128 CPUtime=6.25 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 4277 0 0 0 625 0 0 0 25 0 5 0 520158568 303235072 14577 33554432000 4194304 5787044 140736879013296 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 304828
[startup+12.7008 s]
/proc/loadavg: 7.89 8.06 8.06 9/188 5377
/proc/meminfo: memFree=19601976/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=299036 CPUtime=50.61 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 31343 0 0 0 5054 7 0 0 25 0 5 0 520158564 306212864 17648 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 74759 17648 417 389 0 70509 0
[pid=5372/tid=5374] ppid=5371 vsize=299036 CPUtime=12.59 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 6771 0 0 0 1258 1 0 0 25 0 5 0 520158566 306212864 17648 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=299036 CPUtime=12.65 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 6576 0 0 0 1264 1 0 0 25 0 5 0 520158567 306212864 17648 33554432000 4194304 5787044 140736879013296 18446744073709551615 4254975 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=299036 CPUtime=12.65 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 6226 0 0 0 1264 1 0 0 25 0 5 0 520158568 306212864 17648 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=299036 CPUtime=12.64 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 7797 0 0 0 1263 1 0 0 25 0 5 0 520158568 306212864 17648 33554432000 4194304 5787044 140736879013296 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 307736
[startup+25.5005 s]
/proc/loadavg: 7.91 8.06 8.06 9/188 5378
/proc/meminfo: memFree=19561788/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=307212 CPUtime=101.74 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 36671 0 0 0 10162 12 0 0 25 0 5 0 520158564 314585088 22976 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 76803 22976 417 389 0 72553 0
[pid=5372/tid=5374] ppid=5371 vsize=307212 CPUtime=25.32 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 7737 0 0 0 2530 2 0 0 25 0 5 0 520158566 314585088 22976 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=307212 CPUtime=25.46 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 8564 0 0 0 2544 2 0 0 25 0 5 0 520158567 314585088 22976 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290705589 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=307212 CPUtime=25.45 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 7320 0 0 0 2542 3 0 0 25 0 5 0 520158568 314585088 22976 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=307212 CPUtime=25.44 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 9077 0 0 0 2542 2 0 0 25 0 5 0 520158568 314585088 22976 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290705589 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 315912
[startup+51.101 s]
/proc/loadavg: 8.00 8.07 8.06 9/188 5378
/proc/meminfo: memFree=19479744/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=321848 CPUtime=203.98 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 45926 0 0 0 20377 21 0 0 25 0 5 0 520158564 329572352 32183 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 80462 32183 417 389 0 76212 0
[pid=5372/tid=5374] ppid=5371 vsize=321848 CPUtime=50.81 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 9491 0 0 0 5077 4 0 0 25 0 5 0 520158566 329572352 32183 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591747 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=321848 CPUtime=51.02 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 10233 0 0 0 5099 3 0 0 25 0 5 0 520158567 329572352 32183 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591243 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=321848 CPUtime=51.05 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 10420 0 0 0 5099 6 0 0 25 0 5 0 520158568 329572352 32183 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=321848 CPUtime=51.04 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 11809 0 0 0 5099 5 0 0 25 0 5 0 520158568 329572352 32183 33554432000 4194304 5787044 140736879013296 18446744073709551615 5524674 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 330548
[startup+102.301 s]
/proc/loadavg: 8.13 8.09 8.07 9/188 5389
/proc/meminfo: memFree=19436084/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=338628 CPUtime=408.46 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 55795 0 0 0 40812 34 0 0 25 0 5 0 520158564 346755072 41932 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 84657 41932 417 389 0 80407 0
[pid=5372/tid=5374] ppid=5371 vsize=338628 CPUtime=102.01 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 12626 0 0 0 10193 8 0 0 25 0 5 0 520158566 346755072 41932 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=338628 CPUtime=101.93 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 12227 0 0 0 10187 6 0 0 25 0 5 0 520158567 346755072 41932 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=338628 CPUtime=102.23 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 12227 0 0 0 10214 9 0 0 25 0 5 0 520158568 346755072 41932 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=338628 CPUtime=102.23 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 14742 0 0 0 10215 8 0 0 25 0 5 0 520158568 346755072 41932 33554432000 4194304 5787044 140736879013296 18446744073709551615 4229504 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.46
Current children cumulated vsize (KiB) 347328
[startup+162.301 s]
/proc/loadavg: 8.17 8.10 8.07 9/188 5390
/proc/meminfo: memFree=19324852/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=349324 CPUtime=648.14 cores=1,3,5,7
################
# More data... #
################
[pid=5372/tid=5375] ppid=5371 vsize=362656 CPUtime=221.26 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 15883 0 0 0 22117 9 0 0 25 0 5 0 520158567 371359744 59304 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=362656 CPUtime=222.23 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 16769 0 0 0 22203 20 0 0 25 0 5 0 520158568 371359744 59304 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=362656 CPUtime=222.22 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 19740 0 0 0 22207 15 0 0 25 0 5 0 520158568 371359744 59304 33554432000 4194304 5787044 140736879013296 18446744073709551615 5527508 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.79
Current children cumulated vsize (KiB) 371356
[startup+282.301 s]
/proc/loadavg: 8.40 8.18 8.10 9/188 5397
/proc/meminfo: memFree=19237948/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=369992 CPUtime=1127.48 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 78325 0 0 0 112681 67 0 0 25 0 5 0 520158564 378871808 64028 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 92498 64028 417 389 0 88248 0
[pid=5372/tid=5374] ppid=5371 vsize=369992 CPUtime=281.99 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 18065 0 0 0 28184 15 0 0 25 0 5 0 520158566 378871808 64028 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=369992 CPUtime=280.94 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 16724 0 0 0 28084 10 0 0 25 0 5 0 520158567 378871808 64028 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=369992 CPUtime=282.24 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 18258 0 0 0 28201 23 0 0 25 0 5 0 520158568 378871808 64028 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591521 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=369992 CPUtime=282.24 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 21305 0 0 0 28207 17 0 0 25 0 5 0 520158568 378871808 64028 33554432000 4194304 5787044 140736879013296 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1127.48
Current children cumulated vsize (KiB) 378692
[startup+342.301 s]
/proc/loadavg: 8.26 8.18 8.10 9/188 5398
/proc/meminfo: memFree=19141860/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=387668 CPUtime=1367.13 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 87439 0 0 0 136635 78 0 0 25 0 5 0 520158564 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 96917 72948 417 389 0 92667 0
[pid=5372/tid=5374] ppid=5371 vsize=387668 CPUtime=341.99 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 22142 0 0 0 34180 19 0 0 25 0 5 0 520158566 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 237278570448 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=387668 CPUtime=340.61 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 19044 0 0 0 34049 12 0 0 25 0 5 0 520158567 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=387668 CPUtime=342.23 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 18265 0 0 0 34200 23 0 0 25 0 5 0 520158568 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 4220472 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=387668 CPUtime=342.23 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 24015 0 0 0 34202 21 0 0 25 0 5 0 520158568 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 5527156 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1367.13
Current children cumulated vsize (KiB) 396368
Solver just ended. Dumping a history of the last processes samples
[startup+343.101 s]
/proc/loadavg: 8.24 8.17 8.10 9/188 5398
/proc/meminfo: memFree=19140248/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=387668 CPUtime=1370.32 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 87439 0 0 0 136954 78 0 0 25 0 5 0 520158564 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 96917 72948 417 389 0 92667 0
[pid=5372/tid=5374] ppid=5371 vsize=387668 CPUtime=342.78 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 22142 0 0 0 34259 19 0 0 25 0 5 0 520158566 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=387668 CPUtime=341.4 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 19044 0 0 0 34128 12 0 0 25 0 5 0 520158567 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=387668 CPUtime=343.03 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 18265 0 0 0 34280 23 0 0 25 0 5 0 520158568 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=387668 CPUtime=343.03 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 24015 0 0 0 34282 21 0 0 25 0 5 0 520158568 396972032 72948 33554432000 4194304 5787044 140736879013296 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1370.32
Current children cumulated vsize (KiB) 396368
[startup+346.301 s]
/proc/loadavg: 8.24 8.17 8.10 9/188 5398
/proc/meminfo: memFree=19136644/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=387668 CPUtime=1383.09 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 87442 0 0 0 138231 78 0 0 25 0 5 0 520158564 396972032 72951 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 96917 72951 417 389 0 92667 0
[pid=5372/tid=5374] ppid=5371 vsize=387668 CPUtime=345.98 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 22142 0 0 0 34579 19 0 0 25 0 5 0 520158566 396972032 72951 33554432000 4194304 5787044 140736879013296 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=387668 CPUtime=344.58 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 19044 0 0 0 34446 12 0 0 25 0 5 0 520158567 396972032 72951 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=387668 CPUtime=346.22 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 18268 0 0 0 34599 23 0 0 25 0 5 0 520158568 396972032 72951 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=387668 CPUtime=346.23 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 24015 0 0 0 34602 21 0 0 25 0 5 0 520158568 396972032 72951 33554432000 4194304 5787044 140736879013296 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1383.09
Current children cumulated vsize (KiB) 396368
[startup+347.901 s]
/proc/loadavg: 8.22 8.17 8.10 9/188 5398
/proc/meminfo: memFree=19134904/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=387668 CPUtime=1389.49 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 87447 0 0 0 138871 78 0 0 25 0 5 0 520158564 396972032 72956 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 96917 72956 417 389 0 92667 0
[pid=5372/tid=5374] ppid=5371 vsize=387668 CPUtime=347.58 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 22142 0 0 0 34739 19 0 0 25 0 5 0 520158566 396972032 72956 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=387668 CPUtime=346.17 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 19044 0 0 0 34605 12 0 0 25 0 5 0 520158567 396972032 72956 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=387668 CPUtime=347.83 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 18273 0 0 0 34760 23 0 0 25 0 5 0 520158568 396972032 72956 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=387668 CPUtime=347.83 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 24015 0 0 0 34762 21 0 0 25 0 5 0 520158568 396972032 72956 33554432000 4194304 5787044 140736879013296 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1389.49
Current children cumulated vsize (KiB) 396368
[startup+348.701 s]
/proc/loadavg: 8.22 8.17 8.10 9/188 5398
/proc/meminfo: memFree=19133912/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=387668 CPUtime=1392.68 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 87448 0 0 0 139190 78 0 0 25 0 5 0 520158564 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 96917 72957 417 389 0 92667 0
[pid=5372/tid=5374] ppid=5371 vsize=387668 CPUtime=348.38 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 22142 0 0 0 34819 19 0 0 25 0 5 0 520158566 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 5590380 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=387668 CPUtime=346.97 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 19044 0 0 0 34685 12 0 0 25 0 5 0 520158567 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=387668 CPUtime=348.63 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 18274 0 0 0 34840 23 0 0 25 0 5 0 520158568 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=387668 CPUtime=348.63 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 24015 0 0 0 34842 21 0 0 25 0 5 0 520158568 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 5528738 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1392.68
Current children cumulated vsize (KiB) 396368
[startup+349.101 s]
/proc/loadavg: 8.22 8.17 8.10 9/188 5398
/proc/meminfo: memFree=19133912/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=387668 CPUtime=1394.28 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 87448 0 0 0 139350 78 0 0 25 0 5 0 520158564 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 96917 72957 417 389 0 92667 0
[pid=5372/tid=5374] ppid=5371 vsize=387668 CPUtime=348.78 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 22142 0 0 0 34859 19 0 0 25 0 5 0 520158566 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=387668 CPUtime=347.37 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 19044 0 0 0 34725 12 0 0 25 0 5 0 520158567 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591139 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=387668 CPUtime=349.02 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 18274 0 0 0 34879 23 0 0 25 0 5 0 520158568 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=387668 CPUtime=349.03 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 24015 0 0 0 34882 21 0 0 25 0 5 0 520158568 396972032 72957 33554432000 4194304 5787044 140736879013296 18446744073709551615 5528651 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1394.28
Current children cumulated vsize (KiB) 396368
[startup+349.201 s]
/proc/loadavg: 8.22 8.17 8.10 9/188 5398
/proc/meminfo: memFree=19133912/32950904 swapFree=67082284/67111528
[pid=5371] ppid=5369 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5371/stat : 5371 (priss.sh) S 5369 5371 4177 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 520158564 8908800 252 33554432000 4194304 4922060 140734858884080 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/5371/statm: 2175 252 211 178 0 68 0
[pid=5372] ppid=5371 vsize=387668 CPUtime=1394.68 cores=1,3,5,7
/proc/5372/stat : 5372 (priss) S 5371 5371 4177 0 -1 4202496 87467 0 0 0 139390 78 0 0 25 0 5 0 520158564 396972032 72976 33554432000 4194304 5787044 140736879013296 18446744073709551615 237290703281 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5372/statm: 96917 72976 431 389 0 92667 0
[pid=5372/tid=5374] ppid=5371 vsize=387668 CPUtime=348.88 cores=1,3,5,7
/proc/5372/task/5374/stat : 5374 (priss) R 5371 5371 4177 0 -1 4202560 22142 0 0 0 34869 19 0 0 25 0 5 0 520158566 396972032 72976 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=5372/tid=5375] ppid=5371 vsize=387668 CPUtime=347.47 cores=1,3,5,7
/proc/5372/task/5375/stat : 5375 (priss) R 5371 5371 4177 0 -1 4202560 19044 0 0 0 34735 12 0 0 25 0 5 0 520158567 396972032 72976 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=5372/tid=5376] ppid=5371 vsize=387668 CPUtime=349.12 cores=1,3,5,7
/proc/5372/task/5376/stat : 5376 (priss) R 5371 5371 4177 0 -1 4202560 18274 0 0 0 34889 23 0 0 25 0 5 0 520158568 396972032 72976 33554432000 4194304 5787044 140736879013296 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=5372/tid=5377] ppid=5371 vsize=387668 CPUtime=349.13 cores=1,3,5,7
/proc/5372/task/5377/stat : 5377 (priss) R 5371 5371 4177 0 -1 4202560 24034 0 0 0 34892 21 0 0 25 0 5 0 520158568 396972032 72976 33554432000 4194304 5787044 140736879013296 18446744073709551615 237278537490 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1394.68
Current children cumulated vsize (KiB) 396368
Child status: 10
Real time (s): 349.274
CPU time (s): 1394.94
CPU user time (s): 1394.14
CPU system time (s): 0.796878
CPU usage (%): 399.383
Max. virtual memory (cumulated for all children) (KiB): 396368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1394.14
system time used= 0.796878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87839
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= 6743
involuntary context switches= 9635
runsolver used 0.464929 second user time and 1.43978 second system time
The end