runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3729519-1338713991/watcher-3729519-1338713991 -o /tmp/evaluation-result-3729519-1338713991/solver-3729519-1338713991 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729519-1338713991.opb -seed 737699333 -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: 2.32 1.85 1.66 4/191 3380
/proc/meminfo: memFree=31200868/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3380/stat : 3380 (python) R 3378 3380 2614 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 337524050 15749120 629 33554432000 4194304 5683644 140736223040432 140736222985160 240565175184 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 3853 629 333 364 0 295 0
[startup+0.102685 s]
/proc/loadavg: 2.32 1.85 1.66 4/191 3380
/proc/meminfo: memFree=31200868/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=92392 CPUtime=0.07 cores=1,3,5,7
/proc/3380/stat : 3380 (python) R 3378 3380 2614 0 -1 4202496 3219 507 1 0 5 2 0 0 20 0 1 0 337524050 94609408 2540 33554432000 4194304 5683644 140736223040432 140736222992904 5168720 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/3380/statm: 23098 2540 816 364 0 1620 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92392
[startup+0.200276 s]
/proc/loadavg: 2.32 1.85 1.66 4/191 3380
/proc/meminfo: memFree=31200868/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=119312 CPUtime=0.13 cores=1,3,5,7
/proc/3380/stat : 3380 (python) R 3378 3380 2614 0 -1 4202496 5697 1011 1 0 10 3 0 0 20 0 1 0 337524050 122175488 3662 33554432000 4194304 5683644 140736223040432 140736222958408 4570781 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 29828 3662 953 364 0 2688 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 119312
[startup+0.300275 s]
/proc/loadavg: 2.32 1.85 1.66 4/191 3380
/proc/meminfo: memFree=31200868/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=166948 CPUtime=0.21 cores=1,3,5,7
/proc/3380/stat : 3380 (python) R 3378 3380 2614 0 -1 4202496 6560 1011 1 0 15 6 0 0 20 0 1 0 337524050 170954752 4351 33554432000 4194304 5683644 140736223040432 140736222944664 4314547 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 41737 4351 1227 364 0 3290 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 166948
[startup+0.700221 s]
/proc/loadavg: 2.32 1.85 1.66 4/191 3380
/proc/meminfo: memFree=31200868/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 357612
[startup+1.50028 s]
/proc/loadavg: 2.32 1.85 1.66 4/195 3388
/proc/meminfo: memFree=31176276/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 712 0 0 0 0 0 0 0 20 0 1 0 337524109 288595968 5721 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/3386/statm: 70458 5721 338 364 0 5681 0
[pid=3388] ppid=3386 vsize=2392 CPUtime=0.89 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 592 0 0 0 89 0 0 0 20 0 1 0 337524110 2449408 345 33554432000 134512640 136139019 4294885520 4294884492 134608160 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 598 345 183 398 0 198 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 641836
[startup+3.10028 s]
/proc/loadavg: 2.32 1.85 1.66 4/195 3388
/proc/meminfo: memFree=31175220/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 735 0 0 0 0 0 0 0 20 0 1 0 337524109 288595968 5724 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3386/statm: 70458 5724 341 364 0 5681 0
[pid=3388] ppid=3386 vsize=2656 CPUtime=2.49 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 646 0 0 0 249 0 0 0 20 0 1 0 337524110 2719744 399 33554432000 134512640 136139019 4294885520 4294884496 134883434 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 664 399 183 398 0 264 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 642100
[startup+6.30033 s]
/proc/loadavg: 2.38 1.87 1.67 4/195 3388
/proc/meminfo: memFree=31174104/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 880 0 0 0 0 0 0 0 20 0 1 0 337524109 288595968 5746 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3386/statm: 70458 5746 363 364 0 5681 0
[pid=3388] ppid=3386 vsize=3052 CPUtime=5.69 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 763 0 0 0 569 0 0 0 20 0 1 0 337524110 3125248 516 33554432000 134512640 136139019 4294885520 4294884352 134832178 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 763 516 183 398 0 363 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 642496
[startup+12.7003 s]
/proc/loadavg: 2.35 1.87 1.67 4/197 3392
/proc/meminfo: memFree=31172980/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 886 0 0 0 1 0 0 0 20 0 1 0 337524109 288595968 5747 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3386/statm: 70458 5747 364 364 0 5681 0
[pid=3388] ppid=3386 vsize=3584 CPUtime=12.09 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 881 0 0 0 1209 0 0 0 20 0 1 0 337524110 3670016 634 33554432000 134512640 136139019 4294885520 4294884240 134875605 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 896 634 183 398 0 496 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 643028
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.35 1.87 1.67 4/197 3392
/proc/meminfo: memFree=31172980/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 886 0 0 0 1 0 0 0 20 0 1 0 337524109 288595968 5747 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3386/statm: 70458 5747 364 364 0 5681 0
[pid=3388] ppid=3386 vsize=3584 CPUtime=12.19 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 881 0 0 0 1219 0 0 0 20 0 1 0 337524110 3670016 634 33554432000 134512640 136139019 4294885520 4294884272 134871049 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 896 634 183 398 0 496 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 643028
[startup+19.2003 s]
/proc/loadavg: 2.32 1.88 1.67 4/197 3392
/proc/meminfo: memFree=31173236/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0.01 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 890 0 0 0 1 0 0 0 20 0 1 0 337524109 288595968 5747 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3386/statm: 70458 5747 364 364 0 5681 0
[pid=3388] ppid=3386 vsize=3996 CPUtime=18.59 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 979 0 0 0 1859 0 0 0 20 0 1 0 337524110 4091904 732 33554432000 134512640 136139019 4294885520 4294884496 134883483 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 999 732 183 398 0 599 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (KiB) 643440
[startup+20.8003 s]
/proc/loadavg: 2.29 1.88 1.67 4/197 3392
/proc/meminfo: memFree=31172740/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0.02 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 893 0 0 0 1 1 0 0 20 0 1 0 337524109 288595968 5747 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3386/statm: 70458 5747 364 364 0 5681 0
[pid=3388] ppid=3386 vsize=3996 CPUtime=20.19 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 982 0 0 0 2019 0 0 0 20 0 1 0 337524110 4091904 735 33554432000 134512640 136139019 4294885520 4294884452 134632297 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 999 735 183 398 0 599 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 20.68
Current children cumulated vsize (KiB) 643440
[startup+21.6003 s]
/proc/loadavg: 2.29 1.88 1.67 4/197 3392
/proc/meminfo: memFree=31172864/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0.02 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 893 0 0 0 1 1 0 0 20 0 1 0 337524109 288595968 5747 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3386/statm: 70458 5747 364 364 0 5681 0
[pid=3388] ppid=3386 vsize=3996 CPUtime=20.99 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 982 0 0 0 2099 0 0 0 20 0 1 0 337524110 4091904 735 33554432000 134512640 136139019 4294885520 4294884496 134883415 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 999 735 183 398 0 599 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 21.48
Current children cumulated vsize (KiB) 643440
[startup+22.0003 s]
/proc/loadavg: 2.29 1.88 1.67 4/197 3392
/proc/meminfo: memFree=31172988/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0.02 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 893 0 0 0 1 1 0 0 20 0 1 0 337524109 288595968 5747 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3386/statm: 70458 5747 364 364 0 5681 0
[pid=3388] ppid=3386 vsize=3996 CPUtime=21.39 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 982 0 0 0 2139 0 0 0 20 0 1 0 337524110 4091904 735 33554432000 134512640 136139019 4294885520 4294884352 134832178 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 999 735 183 398 0 599 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 21.88
Current children cumulated vsize (KiB) 643440
[startup+22.2003 s]
/proc/loadavg: 2.29 1.88 1.67 4/197 3392
/proc/meminfo: memFree=31172988/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357612 CPUtime=0.47 cores=1,3,5,7
/proc/3380/stat : 3380 (python) S 3378 3380 2614 0 -1 4202496 10595 1011 1 0 37 10 0 0 20 0 2 0 337524050 366194688 7281 33554432000 4194304 5683644 140736223040432 140736223035264 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3380/statm: 89403 7281 1892 364 0 24626 0
[pid=3386] ppid=3380 vsize=281832 CPUtime=0.02 cores=1,3,5,7
/proc/3386/stat : 3386 (python) S 3380 3380 2614 0 -1 4202560 893 0 0 0 1 1 0 0 20 0 1 0 337524109 288595968 5747 33554432000 4194304 5683644 140736223040432 140736223031520 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3386/statm: 70458 5747 364 364 0 5681 0
[pid=3388] ppid=3386 vsize=3996 CPUtime=21.59 cores=1,3,5,7
/proc/3388/stat : 3388 (clasp-1.3.7-x86) R 3386 3388 3388 0 -1 4202496 982 0 0 0 2159 0 0 0 20 0 1 0 337524110 4091904 735 33554432000 134512640 136139019 4294885520 4294884496 134883443 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3388/statm: 999 735 183 398 0 599 0
[pid=3380/tid=3387] ppid=3378 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/3380/task/3387/stat : 3387 (python) S 3378 3380 2614 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 2 0 337524110 366194688 7281 33554432000 4194304 5683644 140736223040432 140265075044912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 22.08
Current children cumulated vsize (KiB) 643440
[startup+22.3004 s]
/proc/loadavg: 2.29 1.88 1.67 4/197 3392
/proc/meminfo: memFree=31172988/32873844 swapFree=7116/7116
[pid=3380] ppid=3378 vsize=357588 CPUtime=22.19 cores=1,3,5,7
/proc/3380/stat : 3380 (python) R 3378 3380 2614 0 -1 4202496 11710 3196 1 0 37 10 2171 1 20 0 1 0 337524050 366170112 7279 33554432000 4194304 5683644 140736223040432 140736223037056 5116756 0 0 16781312 0 0 0 0 17 3 0 0 0 0 0
/proc/3380/statm: 89397 7279 1890 364 0 24626 0
Current children cumulated CPU time (s) 22.19
Current children cumulated vsize (KiB) 357588
Child status: 0
Real time (s): 22.3237
CPU time (s): 22.2326
CPU user time (s): 22.1036
CPU system time (s): 0.12898
CPU usage (%): 99.5922
Max. virtual memory (cumulated for all children) (KiB): 643440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.1036
system time used= 0.12898
maximum resident set size= 29384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18218
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1023
involuntary context switches= 44
runsolver used 0.036994 second user time and 0.118981 second system time
The end