runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3482601-1307576464/watcher-3482601-1307576464 -o /tmp/evaluation-result-3482601-1307576464/solver-3482601-1307576464 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482601-1307576464.opb -seed 1592117790 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.75 0.54 0.19 2/476 5758
/proc/meminfo: memFree=23679912/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/5758/stat : 5758 (python) R 5756 5758 5281 0 -1 4202496 867 0 0 0 0 0 0 0 25 0 1 0 869246137 16154624 748 33554432000 4194304 5683644 140733961799536 18446744073709551615 4546752 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5758/statm: 3944 748 342 364 0 431 0
[startup+0.111822 s]
/proc/loadavg: 1.75 0.54 0.19 2/476 5758
/proc/meminfo: memFree=23679912/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/5758/stat : 5758 (python) R 5756 5758 5281 0 -1 4202496 3169 931 1 0 6 2 0 0 18 0 1 0 869246137 98430976 2483 33554432000 4194304 5683644 140733961799536 18446744073709551615 5172176 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5758/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200712 s]
/proc/loadavg: 1.75 0.54 0.19 2/476 5758
/proc/meminfo: memFree=23679912/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 5358 931 1 0 11 4 0 0 18 0 1 0 869246137 126709760 3744 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/5758/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.301338 s]
/proc/loadavg: 1.75 0.54 0.19 2/476 5758
/proc/meminfo: memFree=23679912/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=168308 CPUtime=0.22 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 6000 931 1 0 15 7 0 0 18 0 1 0 869246137 172347392 4316 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/5758/statm: 42077 4316 1222 364 0 3294 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 168308
[startup+0.700614 s]
/proc/loadavg: 1.75 0.54 0.19 2/476 5758
/proc/meminfo: memFree=23679912/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293480
[startup+1.50047 s]
/proc/loadavg: 1.75 0.54 0.19 3/480 5766
/proc/meminfo: memFree=23654316/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 701 0 0 0 0 0 0 0 19 0 1 0 869246196 290033664 5688 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 12731691853271761159 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5688 349 364 0 5696 0
[pid=5766] ppid=5764 vsize=2388 CPUtime=0.9 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 605 0 0 0 90 0 0 0 23 0 1 0 869246196 2445312 347 33554432000 134512640 136139019 4288220192 18446744073709551615 134608491 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 597 347 184 398 0 197 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 579104
[startup+3.10019 s]
/proc/loadavg: 1.75 0.54 0.19 3/480 5766
/proc/meminfo: memFree=23653324/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 869246196 290033664 5691 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 12731685050043564295 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5691 352 364 0 5696 0
[pid=5766] ppid=5764 vsize=2784 CPUtime=2.5 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 694 0 0 0 250 0 0 0 25 0 1 0 869246196 2850816 436 33554432000 134512640 136139019 4288220192 18446744073709551615 134871231 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 696 436 184 398 0 296 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 579500
[startup+6.30063 s]
/proc/loadavg: 1.77 0.57 0.20 3/480 5766
/proc/meminfo: memFree=23651060/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 877 0 0 0 0 1 0 0 18 0 1 0 869246196 290033664 5714 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 12731683538215076103 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5714 375 364 0 5696 0
[pid=5766] ppid=5764 vsize=3180 CPUtime=5.7 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 788 0 0 0 570 0 0 0 25 0 1 0 869246196 3256320 530 33554432000 134512640 136139019 4288220192 18446744073709551615 134608376 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 795 530 184 398 0 395 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 579896
[startup+12.7006 s]
/proc/loadavg: 1.79 0.59 0.21 3/480 5766
/proc/meminfo: memFree=23652704/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0.04 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 883 0 0 0 2 2 0 0 18 0 1 0 869246196 290033664 5715 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373752 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5715 376 364 0 5696 0
[pid=5766] ppid=5764 vsize=3720 CPUtime=12.1 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 919 0 0 0 1210 0 0 0 25 0 1 0 869246196 3809280 661 33554432000 134512640 136139019 4288220192 18446744073709551615 134883391 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 930 661 184 398 0 530 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 580436
Solver just ended. Dumping a history of the last processes samples
[startup+12.8005 s]
/proc/loadavg: 1.79 0.59 0.21 3/480 5766
/proc/meminfo: memFree=23652704/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0.04 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 883 0 0 0 2 2 0 0 18 0 1 0 869246196 290033664 5715 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373752 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5715 376 364 0 5696 0
[pid=5766] ppid=5764 vsize=3720 CPUtime=12.2 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 919 0 0 0 1220 0 0 0 25 0 1 0 869246196 3809280 661 33554432000 134512640 136139019 4288220192 18446744073709551615 134608461 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 930 661 184 398 0 530 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 580436
[startup+19.2004 s]
/proc/loadavg: 1.90 0.65 0.23 3/480 5802
/proc/meminfo: memFree=23651568/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0.06 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 885 0 0 0 3 3 0 0 18 0 1 0 869246196 290033664 5715 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373752 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5715 376 364 0 5696 0
[pid=5766] ppid=5764 vsize=3992 CPUtime=18.6 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 1016 0 0 0 1860 0 0 0 25 0 1 0 869246196 4087808 758 33554432000 134512640 136139019 4288220192 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 998 758 184 398 0 598 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 19.11
Current children cumulated vsize (KiB) 580708
[startup+22.4009 s]
/proc/loadavg: 1.90 0.65 0.23 3/480 5802
/proc/meminfo: memFree=23653628/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0.06 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 885 0 0 0 3 3 0 0 18 0 1 0 869246196 290033664 5715 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373752 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5715 376 364 0 5696 0
[pid=5766] ppid=5764 vsize=4128 CPUtime=21.8 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 1029 0 0 0 2180 0 0 0 25 0 1 0 869246196 4227072 771 33554432000 134512640 136139019 4288220192 18446744073709551615 134883428 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 1032 771 184 398 0 632 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.31
Current children cumulated vsize (KiB) 580844
[startup+23.2167 s]
/proc/loadavg: 1.90 0.65 0.23 3/480 5802
/proc/meminfo: memFree=23652520/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0.08 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 887 0 0 0 4 4 0 0 18 0 1 0 869246196 290033664 5715 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373752 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5715 376 364 0 5696 0
[pid=5766] ppid=5764 vsize=4128 CPUtime=22.62 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 1033 0 0 0 2262 0 0 0 25 0 1 0 869246196 4227072 775 33554432000 134512640 136139019 4288220192 18446744073709551615 134883404 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 1032 775 184 398 0 632 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.15
Current children cumulated vsize (KiB) 580844
[startup+23.6006 s]
/proc/loadavg: 1.90 0.65 0.23 3/480 5802
/proc/meminfo: memFree=23652520/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0.08 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 887 0 0 0 4 4 0 0 18 0 1 0 869246196 290033664 5715 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373752 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5715 376 364 0 5696 0
[pid=5766] ppid=5764 vsize=4128 CPUtime=23 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 1033 0 0 0 2300 0 0 0 25 0 1 0 869246196 4227072 775 33554432000 134512640 136139019 4288220192 18446744073709551615 134608192 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 1032 775 184 398 0 632 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.53
Current children cumulated vsize (KiB) 580844
[startup+23.8006 s]
/proc/loadavg: 1.90 0.65 0.23 3/480 5802
/proc/meminfo: memFree=23652520/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293480 CPUtime=0.45 cores=1,3,5,7
/proc/5758/stat : 5758 (python) S 5756 5758 5281 0 -1 4202496 9708 931 1 0 35 10 0 0 20 0 2 0 869246137 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/5758/statm: 73370 7213 1870 364 0 8257 0
[pid=5764] ppid=5758 vsize=283236 CPUtime=0.08 cores=1,3,5,7
/proc/5764/stat : 5764 (python) S 5758 5758 5281 0 -1 4202560 887 0 0 0 4 4 0 0 18 0 1 0 869246196 290033664 5715 33554432000 4194304 5683644 140733961799536 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373752 0 0 17 7 0 0 0
/proc/5764/statm: 70809 5715 376 364 0 5696 0
[pid=5766] ppid=5764 vsize=4128 CPUtime=23.2 cores=1,3,5,7
/proc/5766/stat : 5766 (clasp-1.3.7-x86) R 5764 5766 5766 0 -1 4202496 1033 0 0 0 2320 0 0 0 25 0 1 0 869246196 4227072 775 33554432000 134512640 136139019 4288220192 18446744073709551615 134883521 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5766/statm: 1032 775 184 398 0 632 0
[pid=5758/tid=5765] ppid=5756 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5758/task/5765/stat : 5765 (python) S 5756 5758 5281 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869246196 300523520 7213 33554432000 4194304 5683644 140733961799536 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.73
Current children cumulated vsize (KiB) 580844
[startup+23.9005 s]
/proc/loadavg: 1.90 0.65 0.23 3/480 5802
/proc/meminfo: memFree=23652520/32950928 swapFree=61858080/67111528
[pid=5758] ppid=5756 vsize=293456 CPUtime=23.84 cores=1,3,5,7
/proc/5758/stat : 5758 (python) R 5756 5758 5281 0 -1 4202496 11885 3171 1 0 35 10 2334 5 18 0 1 0 869246137 300498944 7211 33554432000 4194304 5683644 140733961799536 18446744073709551615 5114130 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5758/statm: 73364 7211 1868 364 0 8257 0
Current children cumulated CPU time (s) 23.84
Current children cumulated vsize (KiB) 293456
Child status: 0
Real time (s): 23.9137
CPU time (s): 23.8834
CPU user time (s): 23.7134
CPU system time (s): 0.169974
CPU usage (%): 99.8733
Max. virtual memory (cumulated for all children) (KiB): 580844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.7134
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17296
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1336
involuntary context switches= 303
runsolver used 0.121981 second user time and 0.234964 second system time
The end